Keyphrases
- reasoning about actions
- logic programming
- modal logic
- transition systems
- real time
- causal knowledge
- automated reasoning
- classical logic
- sound and complete axiomatization
- action selection
- multi valued
- digital circuits
- asynchronous circuits
- predicate logic
- computational properties
- dynamic logic
- action theories
- defeasible logic
- human actions
- image sequences
- data mining