Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A relevance restriction strategy for automated deduction
Artificial Intelligence
Inference methods for a pseudo-boolean satisfiability solver
Eighteenth national conference on Artificial intelligence
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Journal of Logic, Language and Information
Generalizing DPLL and satisfiability for equalities
Information and Computation
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
Logical Engineering with Instance-Based Methods
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Encoding First Order Proofs in SAT
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
Solving satisfiability in ground logic with equality by efficient conversion to propositional logic
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Theoretical Computer Science
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Comparing instance generation methods for automated reasoning
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hyper tableaux — the third version
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
The model evolution calculus with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Building efficient decision procedures on top of SAT solvers
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
Boolean formulas of simple conceptual graphs SGBF
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
| Hi-index | 0.00 |