A Logic for Reasoning about Actions and Explicit Observations.
Gavin RensIvan José VarzinczakThomas MeyerAlexander FerreinPublished in: Australasian Conference on Artificial Intelligence (2010)
Keyphrases
- reasoning about actions
- logic programming
- dynamic logic
- propositional dynamic logic
- situation calculus
- action language
- action sequences
- action theories
- minimal change
- indirect effects
- logic programs
- reasoning tasks
- nonmonotonic reasoning
- web services
- answer set programming
- deductive databases
- domain description
- fluent calculus