Principles of artificial intelligence
Principles of artificial intelligence
Theorem Proving via General Matings
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Proceedings of the 5th Conference on Automated Deduction
Proceedings of the 5th Conference on Automated Deduction
Proceedings of the 6th Conference on Automated Deduction
Proceedings of the 6th Conference on Automated Deduction
Solving Open Questions with an Automated Theorem-Proving Program
Proceedings of the 6th Conference on Automated Deduction
Transforming Matings into Natural Deduction Proofs
Proceedings of the 5th Conference on Automated Deduction
Journal of Symbolic Computation
A theory for the representation of knowledge
IBM Journal of Research and Development
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Dissolution: making paths vanish
Journal of the ACM (JACM)
Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
leanCoP: lean connection-based theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Early History and Perspectives of Automated Deduction
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Prolog extensions based on tableau calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
A non-clausal connection calculus
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 48.22 |