• search hit 345 of 354
Back to Result List

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

Share in Twitter Search Google Scholar
Author:Ulrich Furbach, Claudia Obermaier
Series (Volume no.):Arbeitsberichte, FB Informatik (2007,9)
Document Type:Part of Periodical
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):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG