Applications of automated reasoning

Authors:
Ulrich Furbach;Claudia Obermaier
Affiliations:
Universität Koblenz-Landau, Koblenz, Germany;Universität Koblenz-Landau, Koblenz, Germany
Venue:
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Year:
2006

Citing 21
Cited 1

Calculi for disjunctive logic programming

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Computational intelligence: a logical approach

Computational intelligence: a logical approach
Mechanical Theorem-Proving by Model Elimination

Journal of the ACM (JACM)
Decomposable negation normal form

Journal of the ACM (JACM)
Handbook of Automated Reasoning: Volume 1

Handbook of Automated Reasoning: Volume 1
SPASS - Version 0.49

Journal of Automated Reasoning
The TPTP Problem Library

Journal of Automated Reasoning
Solution of the Robbins Problem

Journal of Automated Reasoning
The KeY System: Integrating Object-Oriented Design and Formal Methods

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Hyper Tableaux

JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
The Next W ALDMEISTER Loop

CADE-18 Proceedings of the 18th International Conference on Automated Deduction
OTTER 2.0

Proceedings of the 10th International Conference on Automated Deduction
The Tableau-based Theorem Prover 3TAP Version 4.0

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
AI: a multiple book review

Artificial Intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Living Book -- Deduction, Slicing, and Interaction

Journal of Automated Reasoning
The development of CASC

AI Communications - CASC
The design and implementation of VAMPIRE

AI Communications - CASC
Decision support for personalization on mobile devices

ICLP'05 Proceedings of the 21st international conference on Logic Programming
KRHyper: in your pocket

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Hyper Tableaux with Equality

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.