131
click to vote
LPNMR
2007
Springer
16 years 11 days ago
2007
Springer
We introduce the logic-based planning language Kc as an extension of K [5]. Kc