The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
COMMON-SENSE SPATIAL REASONING FOR INFORMATION CORRELATION IN PERVASIVE COMPUTING
Applied Artificial Intelligence
Finding Alternatives Web Services to Parry Breakdowns
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A hybrid logic for commonsense spatial reasoning
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Undecidability of a Multi-Agent Logic
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Subshifts as models for MSO logic
Information and Computation
| Hi-index | 0.00 |