Filtern
Dokumenttyp
Schlagworte
- Knowledge Compilation (2)
- Aussagenlogik (1)
- Automated Theorem Proving Systems (1)
- Circumscription (1)
- DNNF (1)
- DPLL (1)
- Propositional Logic (1)
- Wissenskompilation (1)
- Zirkumskription (1)
Institut
- Institut für Informatik (3)
- Fachbereich 4 (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.