A logic of non-monotone inductive definitions (2007)

by Marc Denecker , Eugenia Ternovska
Venue:ACM transactions on computational logic
Citations:28 - 16 self

Active Bibliography

BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
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
Origins of Answer-Set Programming – Some Background And Two Personal Accounts – Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
63 Representing Knowledge in A-Prolog – Michael Gelfond
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
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
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
208 Disjunctive Datalog – Thomas Eiter, Georg Gottlob, Heikki Mannila - 1997
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
Chapter 7 Answer Sets – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Michael Gelfond
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
8 Any-world assumptions in logic programming – Yann Loyer , Umberto Straccia - 2005
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991