Sciweavers

3358 search results - page 203 / 672
» Dynamic Description Logics
Sort
View
DLOG
2011
14 years 10 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...
LOPSTR
2001
Springer
15 years 11 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...
211
Voted
CCL
1994
Springer
15 years 11 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
DAC
2008
ACM
16 years 8 months ago
Automatic synthesis of clock gating logic with controlled netlist perturbation
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
Aaron P. Hurst
CONTEXT
2007
Springer
16 years 1 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...