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

by Marc Denecker
Venue:Logics in Arti Intelligence
Citations:38 - 23 self

Documents Related by Co-Citation

743 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
641 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
855 Negation as Failure – K L Clark - 1978
464 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
52 Extending Classical Logic with Inductive Definitions – Marc Denecker - 2000
1247 A logic for default reasoning – R Reiter - 1980
1263 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
33 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
92 Fixpoint semantics for logic programming -- a survey – Melvin Fitting - 2000
197 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
347 Bilattices and the Semantics of Logic Programming – Melvin Fitting - 1989
1739 Foundations of Logic Programming – J W Lloyd - 1984
24 A terminological interpretation of (Abductive) Logic Programming – Marc Denecker - 1995
31 Uniform Semantic Treatment of Default and Autoepistemic Logics – Marc Denecker, Victor W. Marek, Miroslaw Truszczynski - 2000
124 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
264 Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm – Ilkka Niemelä
154 Elemantary Induction on Abstract Structures – Y Moschovakis - 1974
189 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
89 The `Stable>Model Semantics For Logic Programming – MICHAEL GELFOND, Vladimir Lifschitz - 1988