Employing path dissolution to shorten tableaux proofs
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Reexamining intractability of tableau methods
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
An approach to tableau inferencing with “hardwired” heuristics
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Dissolution: making paths vanish
Journal of the ACM (JACM)
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
Model Generation with Boolean Constraints
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
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
Integration of Equality Reasoning into the Disconnection Calculus
TABLEAUX '02 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
R-UNSEARCHMO: A Refinement on UNSEARCHMO
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
The description logic handbook
Depth-first proof search without backtracking for free-variable clausal tableaux
Journal of Symbolic Computation - Special issue: First order theorem proving
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof output and transformation for disconnection tableaux
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Introduction to inconsistency tolerance
Inconsistency Tolerance
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae
| Hi-index | 0.00 |