Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Journal of Automated Reasoning
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Resolution decision procedures
Handbook of automated reasoning
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Information Processing Letters
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
An Interactive Derivation Viewer
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewrite-Based Decision Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)
Deciding expressive description logics in the framework of resolution
Information and Computation
ACM Transactions on Computational Logic (TOCL)
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
iProver --- An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Engineering DPLL(T) + Saturation
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A new methodology for developing deduction methods
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Information Processing Letters
Information Processing Letters
Automatic decidability and combinability
Information and Computation
Automatic combinability of rewriting-based satisfiability procedures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Playing in the grey area of proofs
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tree automata with equality constraints modulo equational theories
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Deciding monodic fragments by temporal resolution
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
The CADE-23 Automated Theorem Proving System Competition - CASC-23
AI Communications
Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
Journal of Automated Reasoning
The 481 ways to split a clause and deal with propositional variables
CADE'13 Proceedings of the 24th international conference on Automated Deduction
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 ...