Logic Programming and Negation: A Survey (1994)

by Krzysztof R. Apt , Roland Bol
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:242 - 8 self

Active Bibliography

223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
53 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
84 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
54 Semantic Issues in Deductive Databases and Logic Programs – Halina Przymusinska, Teodor Przymusinski - 1990
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
8 A Simple Fixed Point Characterization of Three-valued Stable Model Semantics – S. Bonnier, U. Nilsson, T. Naslund - 1990
57 Disjunctive Deductive Databases – José Alberto Fernández, Jack Minker - 1994
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
12 Semantics for Disjunctive Logic Programs with Explicit and Default Negation – Jack Minker, Carolina Ruiz - 1994
5 An epistemic foundation of stable model semantics – Yann Loyer, Umberto Straccia - 2003