Active Bibliography

224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 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
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
Chapter 7 Answer Sets – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Michael Gelfond
2 Reasoning with Conditionals in Artificial Intelligence – Robert Kowalski
63 Representing Knowledge in A-Prolog – Michael Gelfond
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
16 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
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
24 A terminological interpretation of (Abductive) Logic Programming – Marc Denecker - 1995
298 Probabilistic Horn abduction and Bayesian networks – David Poole - 1993
4 Building a Knowledge Base: An Example – Michael Gelfond, Alfredo Gabaldon - 2000
10 Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs – Tomi Janhunen - 2000