Knowledge Representation and Classical Logic (2007)

by Vladimir Lifschitz , Leora Morgenstern , David Plaisted
Citations:10 - 4 self

Documents Related by Co-Citation

48 Stable models and circumscription – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
66 A new perspective on stable models – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz - 2007
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
966 Negation as failure – K Clark - 1978
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
30 A characterization of strong equivalence for logic programs with variables – Vladimir Lifschitz, David Pearce - 2007
12 Stable models of formulas with intensional functions – Michael Bartholomew, Joohyung Lee
488 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
47 Loop Formulas for Disjunctive Logic Programs – Joohyung Lee, Vladimir Lifschitz - 2003
21 Loop formulas for circumscription – Joohyung Lee - 2004
14 Elementary sets for logic programs – Martin Gebser, Joohyung Lee, Yuliya Lierler - 2006
21 A generalization of the lin-zhao theorem – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz - 2006
197 Strongly Equivalent Logic Programs – Vladimir Lifschitz, David Pearce, Agustín Valverde - 2000
250 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
39 What Is Answer Set Programming? – Vladimir Lifschitz - 2008
10 Logic Programs with Intensional Functions (Preliminary Report – Vladimir Lifschitz
6 A ”conservative” approach to extending answer set programming with nonherbrand functions – Marcello Balduccini - 2012
10 Answer set; programming – Pedro Cabalar - 2011