Sciweavers

LPNMR
2005
Springer
14 years 5 months ago
KMonitor - A Tool for Monitoring Plan Execution in Action Theories
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
Thomas Eiter, Michael Fink, Ján Senko