Keyphrases
- reasoning about actions
- sufficient conditions
- logic programming
- action selection
- transition systems
- modal logic
- classical logic
- predicate logic
- proof theory
- sound and complete axiomatization
- multi valued
- image sequences
- action theories
- defeasible logic
- action descriptions
- natural deduction
- asynchronous circuits
- computational properties
- np complete
- bayesian networks