Keyphrases
- modal operators
- autoepistemic logic
- probability theory
- truth values
- belief revision
- truth maintenance systems
- modal logic
- classical logic
- artificial intelligence
- predicate logic
- multi valued
- logical framework
- sound and complete axiomatization
- asynchronous circuits
- genetic algorithm
- computational properties
- inference rules
- logic programming