ACM Computing Surveys (CSUR)
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
On Knowledge, Strings, and Paradoxes
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Making Shared Plans More Concise and Easier to Reason About
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
On designing a language for electronic commerce
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
A taxonomy of theorem-proving strategies
Artificial intelligence today
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Extending a logic-based retrieval model with algebraic knowledge
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
| Hi-index | 0.00 |