Stable model semantics: Difference between revisions

Revision as of 19:57, 13 February 2016

Revision as of 17:35, 27 February 2016

Line 361:

* P. Ferraris and V. Lifschitz [2005] ''[http://www.cs.utexas.edu/users/vl/papers/mfasp.ps Mathematical foundations of answer set programming]''. In: We Will Show Them! Essays in Honour of Dov Gabbay, King's College Publications, pages 615-664.

* M. Gelfond [1987] ''[httphttps://www.csaaai.ttu.eduorg/Papers/~mgelfondAAAI/papers1987/autoepistemicAAAI87-037.pdf On stratified autoepistemic theories]''. In: Proceedings of AAAI-87, pages 207-211.

* M. Gelfond and V. Lifschitz [1988] ''[http://www.cs.utexas.edu/users/vl/papers/stable.ps The stable model semantics for logic programming]''. In: Proceedings of the Fifth International Conference on Logic Programming (ICLP), pages 1070-1080.