Keyphrases
- transition systems
- logic programming
- reasoning about actions
- modal logic
- neural network
- automated reasoning
- action theories
- action language
- asynchronous circuits
- databases
- multi valued
- computational properties
- predicate logic
- dynamic logic
- practical reasoning
- natural deduction
- human actions
- delay insensitive
- machine learning
- sound and complete axiomatization