Stable model semantics: Difference between revisions

Revision as of 10:02, 10 January 2019

Revision as of 18:56, 24 February 2019

Line 353:

* 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] ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.5332&rep=rep1&type=pdf 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.

* M. Gelfond [1987] ''[https://www.aaai.org/Papers/AAAI/1987/AAAI87-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.

* M. Gelfond and V. Lifschitz [1991] ''[http://www.cs.utexas.edu/users/vl/papers/clnegdd.ps Classical negation in logic programs and disjunctive databases]''. New Generation Computing, Vol. 9, pages 365–385.

* S. Hanks and [[Drew McDermott|D. McDermott]] [1987] ''[https://www.sciencedirect.com/science/article/pii/0004370287900439 Nonmonotonic logic and temporal projection]''. Artificial Intelligence, Vol. 33, pages 379–412.

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