845

The WellFounded Semantics for General Logic Programs
– Kenneth A. Ross
 1991

58

Extending Classical Logic with Inductive Definitions
– Marc Denecker
 2000

43

The Wellfounded Semantics Is the Principle of Inductive Definition
– Marc Denecker
 1998

27

Inductive Situation Calculus
– Marc Denecker, Eugenia Ternovska
 2004

105

Fixpoint semantics for logic programming  a survey
– Melvin Fitting
 2000

852

Classical Negation in Logic Programs and Disjunctive Databases
– Michael Gelfond, Vladimir Lifschitz
 1991

1424

A logic for default reasoning
– R Reiter
 1980

1498

The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
 1988

209

The Alternating Fixpoint of Logic Programs with Negation
– Allen Van Gelder
 1995

959

Negation as failure
– K L Clark
 1978

41

Uniform Semantic Treatment of Default and Autoepistemic Logics
– Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
 2000

381

Bilattices and the Semantics of Logic Programming
– Melvin Fitting
 1989

248

Stable models and an alternative logic programming paradigm
– Victor W. Marek
 1999

29

A Logic of NonMonotone Inductive Definitions and its Modularity Properties
– Marc Denecker, Eugenia Ternovska
 2004

23

Approximating operators, stable operators, wellfounded fixpoints and applications in nonmonotonic reasoning
– M Denecker, V Marek, M TruszczyĆski
 2000

29

A framework for representing and solving np search problems
– David G Mitchell, Eugenia Ternovska
 2005

712

The Semantics of Predicate Logic as a Programming Language
– M. H. Van Emden, R. A. Kowalski
 1976

610

Towards a theory of declarative knowledge
– K R Apt, H Blair, A Walker
 1988

1858

Foundations of Logic Programming
– J Lloyd
 1987
