Stable model semantics: Difference between revisions

Revision as of 10:14, 4 July 2017

Revision as of 03:50, 8 January 2018

Line 352:

* T. {{Not a typo|Eiter}} and G. Gottlob [1993] ''[http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz Complexity results for disjunctive logic programming and application to nonmonotonic logics]''. In: Proceedings of ILPS-93, pages 266–278.

* M. van Emden and [[Robert Kowalski|R. Kowalski]] [1976] ''[http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf The semantics of predicate logic as a programming language]''. Journal of ACM, Vol. 23, pages 733–742.

* F. Fages [1994] ''[https://www.researchgate.net/profile/Francois_Fages/publication/220492237_Consistency_of_Clark's_completion_and_existence_of_stable_models/links/55d9a5e108aec156b9ac3f0e.pdf Consistency of Clark's completion and existence of stable models]''. Journal of Methods of Logic in Computer Science, Vol. 1, pages 51–60.

* P. Ferraris [2005] ''Answer sets for propositional theories''. In: Proceedings of LPNMR-05, pages 119–131.

* 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.

Line 361:

* F. Lin and Y. Zhao [2004] ''[http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf ASSAT: Computing answer sets of a logic program by SAT solvers]''. Artificial Intelligence, Vol. 157, pages 115–137.

* V. Marek and V.S. Subrahmanian [1989] ''The relationship between logic program semantics and non-monotonic reasoning''. In: Proceedings of ICLP-89, pages 600–617.

* D. Pearce [1997] ''[http://ai2-s2-pdfs.s3.amazonaws.com/37f3/19f2f8af842631ff9972e1bfd91b99f93511.pdf A new logical characterization of stable models and answer sets]''. In: Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 1216), pages 57–70.

* [[Raymond Reiter|R. Reiter]] [1980] ''[http://www.umiacs.umd.edu/~horty/courses/readings/reiter-default-1980.pdf A logic for default reasoning]''. Artificial Intelligence, Vol. 13, pages 81–132.

== See also ==