Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Description logics for conceptual data modeling
Logics for databases and information systems
Maintaining knowledge about temporal intervals
Communications of the ACM
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Interval based Temporal Reasoning with General TBoxes
Interval based Temporal Reasoning with General TBoxes
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
NEXPTIME-Complete Description Logics with Concrete Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
ε-connections of abstract description systems
Artificial Intelligence
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
LTL Over integer periodicity constraints
Theoretical Computer Science
An automata-theoretic approach to constraint LTL
Information and Computation
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...