Classical Negation in Logic Programs and Disjunctive Databases (1991)

Cached

Download Links

by Michael Gelfond , Vladimir Lifschitz
Venue:New Generation Computing
Citations:846 - 74 self

Active Bibliography

224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
36 Logic Programming and Reasoning with Incomplete Information – Michael Gelfond - 1994
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
3 Belief, provability and logic programs – José Júlio Alferes, D. Matemática, U. Évora, Luís Moniz Pereira - 1994
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
34 Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs – Teodor Przymusinski - 1991
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
4 Weakened Negative Introspection in Autoepistemic Reasoning – Tomi Janhunen - 1993
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
Chapter 6 Nonmonotonic Reasoning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
21 Autoepistemic Logics of Closed Beliefs and Logic Programming – Teodor C. Przymusinski - 1995
163 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
16 On the impact of stratification on the complexity of nonmonotonic reasoning – Ilkka Niemelä, Jussi Rintanen - 1992