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
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
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
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
4 Weakened Negative Introspection in Autoepistemic Reasoning – Tomi Janhunen - 1993
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
87 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
18 Twelve Definitions of a Stable Model – Vladimir Lifschitz
10 Efficient Implementation of the Stable Model Semantics for Normal Logic Programs – Patrik Simons - 1995
31 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
1 Investigations on Cautious Autoepistemic Reasoning – Tomi Janhunen - 1994