|
18
|
A characterization of strong equivalence for logic programs with variables
– Vladimir Lifschitz, David Pearce
- 2007
|
|
18
|
What Is Answer Set Programming?
– Vladimir Lifschitz
- 2008
|
|
11
|
Stable models and circumscription
– Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
|
|
689
|
Classical Negation in Logic Programs and Disjunctive Databases
– Michael Gelfond, Vladimir Lifschitz
- 1991
|
|
436
|
Applications Of Circumscription To Formalizing Common Sense Knowledge
– John McCarthy
- 1986
|
|
197
|
Stable models and an alternative logic programming paradigm
– Victor W. Marek
- 1999
|
|
264
|
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
– Ilkka Niemelä
|
|
28
|
A new logical characterization of stable models and answer sets
– David Pearce
- 1997
|
|
1
|
Mathematical Logic
– Yiannis N. Moschovakis
- 2000
|
|
1
|
Ilkka Niemelä, and Miros̷law Truszczyński. Nonmonotonic reasoning
– Gerhard Brewka
- 2008
|
|
1
|
The stable model semantics for first-order formulas with aggregates 10
– Paolo Ferraris, Vladimir Lifschitz
- 2010
|
|
147
|
Strongly Equivalent Logic Programs
– Vladimir Lifschitz, David Pearce, Agustín Valverde
- 2000
|
|
1263
|
The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
- 1988
|
|
370
|
Knowledge representation, reasoning and declarative problem solving
– C Baral
- 2003
|
|
203
|
Towards a logical reconstruction of relational database theory
– R Reiter
- 1984
|
|
38
|
An alternative approach to the semantics of disjunctive logic programs and deductive databases
– C Sakama, K Inoue
- 1994
|
|
34
|
A new perspective on stable models
– Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
- 2007
|
|
13
|
A logic of non-monotone inductive definitions
– Marc Denecker, Eugenia Ternovska
- 2007
|
|
6
|
Representing null values in logic programming
– B Traylor, M Gelfond
- 1994
|
