Event Calculus Planning Through Satisfiability.
Murray ShanahanMark WitkowskiPublished in: J. Log. Comput. (2004)
Keyphrases
- event calculus
- situation calculus
- sensing actions
- reasoning about actions and change
- partially ordered
- reasoning tasks
- domain specific knowledge
- temporal reasoning
- deductive databases
- heuristic search
- domain independent
- planning problems
- transitive closure
- directed acyclic graph
- initial state
- domain knowledge
- general theory
- database
- automated reasoning
- domain specific
- action theories
- knowledge base
- concurrent actions
- databases