The Well-founded Semantics Is the Principle of Inductive Definition (1998)

by Marc Denecker
Venue:Logics in Arti Intelligence
Citations:44 - 26 self

Active Bibliography

35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
58 Extending Classical Logic with Inductive Definitions – Marc Denecker - 2000
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
86 The expressive powers of logic programming semantics – John S. Schlipf - 1995
Logic Programs as Definitions: a framework for and an evaluation of its semantics – Marc Denecker, Danny De Schreye
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
34 Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs – Teodor Przymusinski - 1991
54 Semantic Issues in Deductive Databases and Logic Programs – Halina Przymusinska, Teodor Przymusinski - 1990
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
163 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
15 An Inductive Definition Approach to Ramifications – Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem - 1998
1 What is in a model? Epistemological ambiguity of Logic Programming – Marc Denecker