3244 search results - page 120 / 649 » Extensions to Description Logics |
192
click to vote
CLIMA
2006
15 years 7 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
170
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
159
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We present and evaluate a new multiple-description coding extension to the international standard for pulse code modulation speech coding (ITU-T Rec. G.711). This extension is inse...
161
click to vote
FOSSACS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
140
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...