Keyphrases
- set theory
- order sorted
- logic programming
- classical logic
- knowledge representation formalisms
- default logic
- modal logic
- multi valued
- predicate logic
- efficient implementation
- sound and complete axiomatization
- probability theory
- logic programs
- information systems
- machine learning
- decision theory
- database
- nonmonotonic logics
- search engine
- asynchronous circuits
- truth maintenance systems
- proof theory
- axiomatic characterization
- equational theories
- real time