KRHyper Main Page

Applications of KRHyper

• Investigation of Formula Transformations for Model Generation
  • Blocking and Other Enhancements of Bottom-Up Model Generation Methods
    Peter Baumgartner and Renate Schmidt
    In: U. Furbach and N. Shankar, eds., Automated Reasoning - Third International Joint Conference on Automated Reasoning (IJCAR), Springer LNAI volume 4130, 2006.
  • The Yarralumla System

• Ontology Reasoning
  • Automated Reasoning Support for First-Order Ontologies
    Peter Baumgartner and Fabian M. Suchanek
    In: J.J. Alferes, J. Bailey, W. May, and U. Schwertel, eds., Principles and Practice of Semantic Web Reasoning 4th International Workshop (PPSWR 2006), Springer LNAI volume 4187, pp. 18-32, 2006.

• Planning
  • Improving Stable Models Based Planning by Bidirectional Search
    Peter Baumgartner and Anupam Mediratta
    In: International Conference on Knowledge Based Computer Systems (KBCS), Hyderabad, India, 2004

• Inferences on Natural Language Knowledge Bases
  • Logic Programming Infrastructure for Inferences on FrameNet
    Peter Baumgartner and Aljoscha Burchardt
    In: J. Alferes and J. Leite, eds., Proc. JELIA'04, Springer LNCS volume 3229, pp. 591-603, 2004.

• Database Schema Reasoning
  • Model Based Deduction for Database Schema Reasoning
    Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt and Thomas Kleemann
    In: S. Biundo, T. Frühwirth, and G. Palm, eds., KI 2004, Springer LNCS volume 3238, pp. 168-182, 2004
  • KRHyper Inside - Model Based Deduction in Applications
    Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann and Christoph Wernhard
    In: Proc. CADE-19 Workshop on Novel Applications of Deduction Systems, 2003.

• User Profile Matching on Mobile Devices
  • The IASON project at AGKI Koblenz
    A port of an excerpt of KRHyper to Mobile Java is used in these applications.

• Document Management, E-Learning
  The first implementation of KRHyper is used in some of these applications.
  • Living Books, Automated Deduction and other Strange Things
    Peter Baumgartner and Ulrich Furbach In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, Springer LNCS volume 2605, pp. 255-274, 2004.
  • Living Book - Deduction, Slicing, and Interaction
    Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner
    Journal of Automated Reasoning, 32(3):259-286, 2004.
  • KRHyper Inside - Model Based Deduction in Applications
    Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann and Christoph Wernhard
    In: Proc. CADE-19 Workshop on Novel Applications of Deduction Systems, 2003.

Christoph Wernhard <wernhard@uni-koblenz.de>