- search hit 1 of 1
Applications of Automated Reasoning
- 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.
Author: | Ulrich Furbach, Claudia Obermaier |
---|---|
URN: | urn:nbn:de:kola-1180 |
Series (Volume no.): | Arbeitsberichte, FB Informatik (2007,9) |
Document Type: | Part of Periodical |
Language: | English |
Date of completion: | 2007/07/04 |
Date of publication: | 2007/07/04 |
Publishing institution: | Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek |
Release Date: | 2007/07/04 |
Tag: | Automated Theorem Proving Systems |
Number of pages: | 18 |
Institutes: | Fachbereich 4 / Fachbereich 4 |
Fachbereich 4 / Institut für Informatik | |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Licence (German): | ![]() |