Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (1998)

Cached

Download Links

by Chitta R. Baral , V. S. Subrahmanian
Venue:Journal of Automated Reasoning
Citations:87 - 8 self

Documents Related by Co-Citation

850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
708 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
1430 A logic for default reasoning – R Reiter - 1980
380 Bilattices and the Semantics of Logic Programming – Melvin Fitting - 1989
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
439 Semantical Considerations on Nonmonotonic Logics – R Moore - 1985
192 Autoepistemic logic – V W Marek, M Truszczyński - 1991
109 On stratified autoepistemic theories – Michael Gelfond - 1987
338 Logic programs with classical negation – M Gelfond, V Lifschitz - 1990
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
57 Semantics of disjunctive logic programs and deductive databases – T C Przymusinski - 1991
63 General logical databases and programs: default logic semantics and stratification – N Bidoit, C Froidevaux - 1991
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
853 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
106 A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks – John F. Horty, Richmond H. Thomason, David S. Touretzky - 1990
55 On the declarative semantics of logic programs with negation – V Lifschitz - 1988
122 Well Founded Semantics for Logic Programs with Explicit Negation – Luís Moniz Pereira , José Júlio Alferes - 1992