Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Prolog: the standard: reference manual
Prolog: the standard: reference manual
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Efficient Model Generation through Compilation
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Combining superposition, sorts and splitting
Handbook of automated reasoning
Living Book -- Deduction, Slicing, and Interaction
Journal of Automated Reasoning
AI Communications
Automated reasoning support for first-order ontologies
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Geometric resolution: a proof procedure based on finite model search
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
LogAnswer - A Deduction-Based Question Answering System (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Anaphora resolution involving interactive knowledge acquisition
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
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
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most first order theorem provers, it supports features important for such applications, for example queries with predicate extensions as answers, handling of large sets of uniformly structured input facts, arithmetic evaluation and stratified negation as failure. It is our goal to extend the range of application possibilities of KRHyper by adding equality reasoning.