The first answer set programming system competition
収録刊行物
-
- Proc. 9th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)
-
Proc. 9th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'07) 2007