Nested expressions in logic programs (1999)

Cached

Download Links

by Vladimir Lifschitz
Venue:Annals of Mathematics and Artificial Intelligence
Citations:114 - 13 self

Documents Related by Co-Citation

1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
197 Strongly Equivalent Logic Programs – Vladimir Lifschitz, David Pearce, Agustín Valverde - 2000
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
201 ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers – Fangzhen Lin, Yuting Zhao - 2002
966 Negation as failure – K Clark - 1978
34 A new logical characterization of stable models and answer sets – David Pearce
91 Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity – Wolfgang Faber, Nicola Leone, Gerald Pfeifer - 2004
1430 A logic for default reasoning – R Reiter - 1980
330 Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm – Ilkka Niemelä
68 Answer Sets for Propositional Theories – Paolo Ferraris - 2005
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
149 Propositional Semantics for Disjunctive Logic Programs – Rachel Ben-eliyahu, Rina Dechter - 1994
31 Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics – Thomas Eiter, Georg Gottlob - 1993
36 V.: Tight logic programs. Theory and Practice of Logic Programming 3 – E Erdem, Lifschitz - 2003
52 Weight constraints as nested expressions. Theory Pract. Log. Program – Paolo Ferraris, Vladimir Lifschitz - 2005
250 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999
312 Extending and Implementing the Stable Model Semantics – Patrik Simons, Ilkka Niemelä, Timo Soininen - 2002
48 Encodings for equilibrium logic and logic programs with nested expressions – David Pearce, Hans Tompits, Stefan Woltran - 2001