The stable model semantics for logic programming
収録刊行物
-
- Proc. 5th Int. Conf. and Symp. on Logic Programming, 1988
-
Proc. 5th Int. Conf. and Symp. on Logic Programming, 1988 1070-1080, 1988
MIT Press