An Overview of Nonmonotonic Reasoning and Logic Programming (1993)

Cached

Download Links

by Jack Minker
Venue:Journal of Logic Programming, Special Issue
Citations:27 - 2 self

Documents Related by Co-Citation

74 Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview – Jürgen Dix, Ross A. Overbeek, Proceedings Of The North - 1994
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
25 A General Approach to Bottom-Up Computation of Disjunctive Semantics – Stefan Brass, Jürgen Dix - 1995
52 A Classification-Theory of Semantics of Normal Logic Programs – J Dix - 1995
966 Negation as failure – K Clark - 1978
136 On indefinite databases and the closed world assumption – J Minker - 1982
48 Characterizations of the Disjunctive Stable Semantics by Partial Evaluation – Stefan Brass, Jürgen Dix - 1997
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
71 Stationary Semantics for Normal and Disjunctive Logic Programs – Teodor Przymusinski - 1991
45 Disjunctive Semantics based upon Partial and Bottom-Up Evaluation – Stefan Brass, Jürgen Dix - 1995
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
22 A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation – Stefan Brass, Jürgen Dix - 1994
57 Semantics Of (Disjunctive) Logic Programs Based On Partial Evaluation – Stefan Brass, Jürgen Dix - 1994
188 On Extended Disjunctive Logic Programs – Jack Minker, Carolina Ruiz - 1994
35 A framework for representing and characterizing semantics of logic programs – J Dix - 1992
338 Logic programs with classical negation – M Gelfond, V Lifschitz - 1990