Active Bibliography

223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
32 Answer Sets – Michael Gelfond - 2008
60 Representing Knowledge in A-Prolog – Michael Gelfond
84 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
2 Reasoning with Conditionals in Artificial Intelligence – Robert Kowalski
14 Some (in)translatability results for normal logic programs and propositional theories – Tomi Janhunen - 2006
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
12 Towards a Theory of Elaboration Tolerance: Logic Programming Approach – Michael Gelfond, Halina Przymusinska - 1995
4 Weakened Negative Introspection in Autoepistemic Reasoning – Tomi Janhunen - 1993
10 Efficient Implementation of the Stable Model Semantics for Normal Logic Programs – Patrik Simons - 1995
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
24 A terminological interpretation of (Abductive) Logic Programming – Marc Denecker - 1995
294 Probabilistic Horn abduction and Bayesian networks – David Poole - 1993
4 Building a Knowledge Base: An Example – Michael Gelfond, Alfredo Gabaldon - 2000
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994