Sciweavers

56
Voted
LPNMR
2007
Springer
15 years 3 months ago
Conditional Planning with External Functions
We introduce the logic-based planning language Kc as an extension of K [5]. Kc
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir