Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
On Computing Solutions to Belief Change Scenarios
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Deriving Modular Programs from Short Proofs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
CERES: An analysis of Fürstenberg's proof of the infinity of primes
Theoretical Computer Science
A solver for QBFs in negation normal form
Constraints
A Solver for QBFs in Nonprenex Form
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the polynomial transparency of resolution
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
On Definitional Transformations To Normal Form For Intuitionistic Logic
Fundamenta Informaticae
| Hi-index | 0.00 |