A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
A Methodological View of Constraint Solving
Constraints
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Semantic Generalizations for Proving and Disproving Conjectures by Analogy
Journal of Automated Reasoning
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Information and Computation
Resolution decision procedures
Handbook of automated reasoning
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
A calculus combining resolution and enumeration for building finite models
Journal of Symbolic Computation - Special issue: First order theorem proving
The first order theory of primal grammars is decidable
Theoretical Computer Science
Automated Model Building: From Finite to Infinite Models
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Superposition for Fixed Domains
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Extending semantic resolution via automated model building: applications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
A taxonomy of theorem-proving strategies
Artificial intelligence today
Superposition for fixed domains
ACM Transactions on Computational Logic (TOCL)
Deciding the inductive validity of ∀∃* queries
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Disunification for ultimately periodic interpretations
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Equational constraint solving via a restricted form of universal quantification
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Tree Automata and Automated Model Building
Fundamenta Informaticae
| Hi-index | 0.00 |