The USA-Advisor : a case study in answer set planning
収録刊行物
-
- Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, 2001
-
Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, 2001 439-442, 2001
Springer