Keyphrases
- modal logic
- conditional logic
- proof theoretic
- proof theory
- logic programming
- default reasoning
- belief revision
- sound and complete axiomatization
- predicate logic
- default logic
- search algorithm
- classical logic
- computational properties
- information systems
- social networks
- asynchronous circuits
- genetic algorithm
- data sets
- nonmonotonic inference
- database