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:88 - 8 self

Active Bibliography

5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
Origins of Answer-Set Programming – Some Background And Two Personal Accounts – Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
4 Weakened Negative Introspection in Autoepistemic Reasoning – Tomi Janhunen - 1993
44 Modal nonmonotonic logics: ranges, characterization, computation – Wiktor Marek, Grigori F. Shvarts, Mirosław Truszczyński - 1991
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
5 Autoepistemic Logic of First Order and Its Expressive Power – Li-yan Yuan - 1994
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
41 Uniform Semantic Treatment of Default and Autoepistemic Logics – Marc Denecker, Victor W. Marek, Miroslaw Truszczynski - 2000
5 Nonmonotonic Reasoning – V. W. Marek, A. Nerode - 1993
Chapter 6 Nonmonotonic Reasoning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
16 On the impact of stratification on the complexity of nonmonotonic reasoning – Ilkka Niemelä, Jussi Rintanen - 1992
163 An abstract, argumentation-theoretic approach to default reasoning – A. Bondarenko, P. M. Dung, R. A. Kowalski, F. Toni - 1997
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
1 Reflexive Autoepistemic Logic and Logic – V. Wiktor Marek - 1993
5 More on modal aspects of default logic – V. Wiktor Marek, Miroslaw Truszczynski - 1992
4 A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing – Joseph Halpern - 1993
Nonmonotonic Reasoning - Computational Perspective – Victor W. Marek, Miroslaw Truszczy'nski - 1997