A Brief Introduction to Nonmonotonic Reasoning

[1]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[2]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[3]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[4]  Jürgen Dix,et al.  Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[5]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.