Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus.
Manfred EppeDominik DietrichPublished in: STAIRS (2012)
Keyphrases
- plan execution
- event calculus
- incomplete knowledge
- temporal reasoning
- plan generation
- temporal constraints
- reasoning tasks
- dynamic environments
- situation calculus
- description logics
- partially ordered
- plan recognition
- domain specific knowledge
- temporal planning
- deductive databases
- transitive closure
- sensing actions
- machine learning
- temporal information
- logic programming
- directed acyclic graph
- integrity constraints
- mobile robot