Knowledge Representation and Classical Logic (2007)

by Vladimir Lifschitz , Leora Morgenstern , David Plaisted
Citations:11 - 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
1490 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
960 Negation as failure – K L Clark - 1977
811 Circumscription – a form of nonmonotonic reasoning – J McCarthy
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
485 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
21 Loop formulas for circumscription – Joohyung Lee - 2004
45 Loop Formulas for Disjunctive Logic Programs – Joohyung Lee, Vladimir Lifschitz - 2003
13 Elementary sets for logic programs – Martin Gebser, Joohyung Lee, Yuliya Lierler - 2006
20 A generalization of the lin-zhao theorem – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz - 2006
194 Strongly Equivalent Logic Programs – Vladimir Lifschitz, David Pearce, Agustín Valverde - 2000
846 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
247 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
40 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