Keyphrases
- knowledge representation formalisms
- classical logic
- logic programming
- default theories
- multi valued
- truth maintenance systems
- modal logic
- efficient implementation
- default logic
- automated reasoning
- epistemic logic
- logical framework
- nonmonotonic reasoning
- evolutionary algorithm
- automata theoretic
- delay insensitive
- search engine
- linear logic
- sound and complete axiomatization
- asynchronous circuits
- nonmonotonic logics
- description logics
- knowledge representation
- database systems
- decision trees
- knowledge base