Smodels with CLP and its applications : a simple and effective approach to aggregates in ASP
収録刊行物
-
- Proc. 20th Int. Conf. on Logic Programming, 2004
-
Proc. 20th Int. Conf. on Logic Programming, 2004 73-89, 2004
Springer