Platypus : a platform for distributed answer set solving
収録刊行物
-
- Proc. 8th International Conf. on Logic Programming and Nonmoonotonic Reasoning, 2005
-
Proc. 8th International Conf. on Logic Programming and Nonmoonotonic Reasoning, 2005 2005
Springer