Keyphrases
- logic programming
- transition systems
- predicate logic
- asynchronous circuits
- sufficient conditions
- modal logic
- human actions
- classical logic
- action theories
- multi valued
- action descriptions
- reasoning about actions
- computational properties
- probability theory
- logical framework
- nonmonotonic logics
- digital circuits
- integrity constraints
- spatio temporal
- epistemic logic
- multi agent systems
- proof theory
- computer vision
- database