Semantical Considerations for a Logic of Actions: An Imperative Manifesto.
Victor JaureguiPublished in: KR (2006)
Keyphrases
- classical logic
- reasoning about actions
- modal logic
- logic programming
- proof theory
- situation calculus
- plan recognition
- multi valued
- logical framework
- predicate logic
- decision theoretic
- automated reasoning
- sound and complete axiomatization
- delay insensitive
- epistemic logic
- truth values
- defeasible logic
- computational properties
- human activities