Logic programming revisited: logic programs as inductive definitions (2001)

by Marc Denecker , Maurice Bruynooghe , Victor Marek
Venue:ACM Transactions on Computational Logic
Citations:34 - 21 self

Active Bibliography

Knowledge representations, reasoning and . . . – Chitta Baral - 2001
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
84 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
32 Answer Sets – Michael Gelfond - 2008
60 Representing Knowledge in A-Prolog – Michael Gelfond
8 Minimum Model Semantics for Logic Programs with Negation-as-Failure – Panos Rondogiannis, William W. Wadge
32 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
14 Some (in)translatability results for normal logic programs and propositional theories – Tomi Janhunen - 2006
54 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
209 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
1 What is in a model? Epistemological ambiguity of Logic Programming – Marc Denecker
Origins of Answer-Set Programming – Some Background And Two Personal Accounts – Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
A Fuzzy Logic Approach – Jie Lu, Javier Montero, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
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