TY - GEN A1 - Furbach, Ulrich A1 - Obermaier, Claudia T1 - Applications of Automated Reasoning N2 - 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. T3 - Arbeitsberichte, FB Informatik - 2007,9 KW - Automated Theorem Proving Systems Y1 - 2007 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/118 UR - https://nbn-resolving.org/urn:nbn:de:kola-1180 ER -