ACM Transactions on Computational Logic (TOCL)
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
The CADE-14 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
Cancellative abelian monoids and related structures in refutational theorem proving (part II)
Journal of Symbolic Computation
Semantic Selection for Resolution in Clause Graphs
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards Semantic Goal-Directed Forward Reasoning in Resolution
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Requirement-Based Cooperative Theorem Proving
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Scheduling Methods for Parallel Automated Theorem Proving
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The SAT-Based Approach for Classical Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
System Description: Spass Version 1.0.0
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Resolution decision procedures
Handbook of automated reasoning
Handbook of automated reasoning
Journal of Symbolic Computation
The design and implementation of VAMPIRE
AI Communications - CASC
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
The CADE-21 automated theorem proving system competition
AI Communications
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
The CADE-22 automated theorem proving system competition - CASC-22
AI Communications
Decidable fragments of many-sorted logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A taxonomy of theorem-proving strategies
Artificial intelligence today
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hierarchic reasoning in local theory extensions
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
First-Order theorem proving and vampire
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |