The stable model semantics for logic programming Logic Programming (LP-88) L'incontournable, mais pas très récent: Chitta Baral Knowledge representation, reasoning and declarative problem solving, pp.1070-1080, 1988. ,
Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.6, issue.3, 2012. ,
DOI : 10.2200/S00457ED1V01Y201211AIM019
The DLV System for Knowledge Representation and Reasoning, ACM Transactions on Computational Logic (TOCL), vol.7, issue.3, pp.499-562, 2006. ,
Answer sets In: Handbook of Knowledge Representation, pp.285-316, 2008. ,