Arbeitsberichte, FB Informatik
Refine
Year of publication
- 2007 (1) (remove)
Keywords
- Automated Theorem Proving Systems (1) (remove)
Institute
- Institut für Informatik (1) (remove)
2007,9
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.