Keyphrases
- reasoning about actions
- transition systems
- modal logic
- action theories
- classical logic
- multi valued
- proof theory
- sound and complete axiomatization
- abductive reasoning
- computational properties
- information retrieval
- human actions
- temporal logic
- logic programming
- multi agent
- predicate logic
- website
- computer vision
- database