An Overview of Nonmonotonic Reasoning and Logic Programming (1993)

Cached

Download Links

by Jack Minker
Venue:Journal of Logic Programming, Special Issue
Citations:27 - 2 self

Active Bibliography

224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
55 Logic and Databases: a 20 Year Retrospective – Jack Minker - 1996
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
4 Weakened Negative Introspection in Autoepistemic Reasoning – Tomi Janhunen - 1993
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
84 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
8 What's in a Model? Epistemological analysis of Logic Programming – Marc Denecker - 2003
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
19 Twelve Definitions of a Stable Model – Vladimir Lifschitz
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
10 Efficient Implementation of the Stable Model Semantics for Normal Logic Programs – Patrik Simons - 1995
1 Investigations on Cautious Autoepistemic Reasoning – Tomi Janhunen - 1994
12 Towards a Theory of Elaboration Tolerance: Logic Programming Approach – Michael Gelfond, Halina Przymusinska - 1995