Filtern
Schlagworte
- Bluetooth (2)
- Campus Information System (2)
- University (2)
- ABox (1)
- Automated Theorem Proving Systems (1)
- E-KRHyper theorem prover (1)
- Equality (1)
- Hyper Tableau Calculus (1)
- IASON (1)
- KRHyper (1)
- Knowledge Compilation (1)
- MIA (1)
- Multi-robot System (1)
- Multiagent System (1)
- Personalised Information Systems (1)
- TBox (1)
- Theorem Proving (1)
- UML (1)
- XML (1)
- constraint logic programming (1)
- hybrid automata (1)
- multi-agent systems (1)
Institut
- Institut für Informatik (9)
- Fachbereich 4 (8)
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.