2490 search results - page 161 / 498 » Complexity of Contextual Reasoning |
125
click to vote
DLOG
2006
15 years 6 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
141
click to vote
IJCAI
2003
15 years 6 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
DLOG
1996
15 years 6 months ago
1996
Designing a DL system poses the problem of the trade-o between power of expression and complexity. In spite of their rich expressive capacity, the or and not constructors are usua...
141
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
119
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...