Keyphrases
- deontic logic
- classical logic
- action theories
- linear temporal logic
- general logic programs
- first order logic
- valued logic
- conditional logic
- logic programming
- situation calculus
- transition systems
- modal logic
- temporal logic
- reasoning about actions
- initial state
- horn clauses
- classical first order logic
- finite model theory
- representation language
- predicate calculus
- sound and complete with respect
- dynamic logic
- logical formulas
- probabilistic logic
- legal reasoning
- nonmonotonic logics
- automated reasoning
- predicate logic
- higher order
- human actions
- expressive power
- neural network
- logical framework
- knowledge representation
- action recognition
- theorem proving
- epistemic logic
- probability theory
- model theoretic