Refine
Document Type
- Part of Periodical (2) (remove)
Keywords
Institute
- Fachbereich 4 (2)
- Institut für Informatik (2)
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.