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 (Serial Number): | Arbeitsberichte, FB Informatik (2007,9) |
| Document Type: | Part of Periodical |
| Language: | English |
| Date of Publication (online): | 2007/07/04 |
| Date of first Publication: | 2007/07/04 |
| Publishing Institution: | Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek |
| Release Date: | 2007/07/04 |
| Tag: | Automated Theorem Proving Systems |
| Page Number: | 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): | Es gilt das deutsche Urheberrecht: § 53 UrhG |

