The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 417 of 534
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
Metadaten
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):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG

OPUS4 Logo