Documents Related by Co-Citation

407 Semantical considerations on nonmonotonic logic – Robert Moore - 1985
1263 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1739 Foundations of Logic Programming – J W Lloyd - 1984
187 Abduction compared with negation by failure – K Eshghi, R A Kowalski - 1989
855 Negation as Failure – K L Clark - 1978
1247 A logic for default reasoning – R Reiter - 1980
689 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
743 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
558 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games – Phan Minh Dung - 1995
1360 Some Philosophical Problems from the Standpoint of Artificial Intelligence – John Mccarthy, Patrick J. Hayes - 1969
310 Logic programs with classical negation – M Gelfond, V Lifschitz - 1990
732 Circumscription - A Form of Non-Monotonic Reasoning – John McCarthy - 1980
51 An Assumption-Based Framework for Non-Monotonic Reasoning – Andrei Bondarenko, Francesca Toni, Robert A. Kowalski - 1993
175 A theory of defeasible reasoning – John L. Pollock - 1991
25 Stable theories for logic programs – A C Kakas - 1991
348 A logical framework for default reasoning – D Poole� - 1988
55 an Argumentation Semantics for Logic Programming with Explicit Negation – P Dung - 1993
90 Nonmonotonic logic II: Nonmonotonic modal theories – D McDermott - 1982
25 Completed Logic Programs and Their Consistency – T Sato - 1990