Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Merge Path Improvements for Minimal Model Hyper Tableaux
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Moder Generation Theorem Proving with Finite Interval Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
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
A Confluent Connection Calculus
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
DCTP - A Disconnection Calculus Theorem Prover - System Abstract
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Incremental Closure of Free Variable Tableaux
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
HyperS tableaux - heuristic hyper tableaux
Acta Cybernetica
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
A Bottom-Up Approach to Clausal Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Logical Engineering with Instance-Based Methods
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Tableaux for Projection Computation and Knowledge Compilation
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Combining logic and machine learning for answering questions
CLEF'08 Proceedings of the 9th Cross-language evaluation forum conference on Evaluating systems for multilingual and multimodal information access
First-order tableaux in applications
TABLEAUX'11 Proceedings of the 20th 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
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Optimizing the evaluation of XPath using description logics
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
A natural language question answering system as a participant in human Q&A portals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
TURAMBAR: an approach to deal with uncertainty in semantic environments
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |