Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Attributive concept descriptions with complements
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modal tableaux with propagation rules and structural rules
Fundamenta Informaticae
Theoretical Computer Science
Combining deduction and model checking into Tableaux and algorithms for converse-PDL
Information and Computation
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models
Journal of Automated Reasoning
A Superposition Decision Procedure for the Guarded Fragment with Equality
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The description logic handbook
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
Using tableau to decide expressive description logics with role negation
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Monadic Σ11 and Modal Logic with Quantified Binary Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Detecting and revising flaws in OWL object property expressions
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Using tableau to decide description logics with full role negation and identity
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 ...