Keyphrases
- knowledge representation formalisms
- modal logic
- multi valued
- logic programming
- digital circuits
- default logic
- data mining
- efficient implementation
- computational properties
- predicate logic
- sound and complete axiomatization
- data sets
- proof theory
- asynchronous circuits
- epistemic logic
- set theory
- default theories
- automated reasoning
- information retrieval
- machine learning