Filtern
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (1) (entfernen)
Gehört zur Bibliographie
- nein (1) (entfernen)
Schlagworte
- Automated Theorem Proving Systems (1) (entfernen)
Institut
- Fachbereich 4 (1)
- Institut für Informatik (1)
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.