KMonitor - A Tool for Monitoring Plan Execution in Action Theories.

Thomas Eiter Michael Fink Ján Senko

Published in: LPNMR (2005)

Keyphrases

plan execution
action theories
dynamic environments
plan generation
plan recognition
situation calculus
temporal constraints
reasoning about actions
initial state
knowledge base
reinforcement learning
search algorithm
query language
intelligent systems
dynamical systems
imperative programs