Login / Signup
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Thomas Eiter
Esra Erdem
Wolfgang Faber
Ján Senko
Published in:
Fundam. Informaticae (2007)
Keyphrases
</>
plan execution
plan generation
dynamic environments
plan recognition
databases
modal logic
simple temporal
logic programming
temporal planning
image sequences
dynamic programming