Efficient deductive methods for program analysis
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints in computational logics
Journal of Automated Reasoning
Solution of the Robbins Problem
Journal of Automated Reasoning
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)
Theorem Proving with Sequence Variables and Flexible Arity Symbols
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the Completeness of Arbitrary Selection Strategies for Paramodulation
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Simultaneous Rigid Sorted Unification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Solved Forms for Path Ordering Constraints
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Completeness and Redundancy in Constrained Clause Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Invited Talk: Rewrite-based Deduction and Symbolic Constraints
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Paramodulation with Built-In Abelian Groups
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
On using ground joinable equations in equational theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Superposition with completely built-in Abelian groups
Journal of Symbolic Computation
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Deciding expressive description logics in the framework of resolution
Information and Computation
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Superposition and Model Evolution Combined
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A taxonomy of theorem-proving strategies
Artificial intelligence today
A Combined Superposition and Model Evolution Calculus
Journal of Automated Reasoning
On arbitrary selection strategies for basic superposition
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A resolution-based decision procedure for SHOIQ
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The decidability of the first-order theory of knuth-bendix order
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
Paramodulation with Non-Monotonic Orderings and Simplification
Journal of Automated Reasoning
Hi-index | 0.00 |