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.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.