Toward Efficient Default Reasoning (1996)

Cached

Download Links

by David Etherington , James M. Crawford
Venue:Presented at the 4th International Workshop on Nonmonotonic Reasoning
Citations:8 - 2 self

Active Bibliography

Toward Efficient Default Reasoning (Extended Abstract) – David W. Etherington, James M. Crawford - 1992
31 Artificial Intelligence: A Computational Perspective – Bernhard Nebel - 1994
26 Space Efficiency of Propositional Knowledge Representation Formalisms – Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf - 2000
4 On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases – Robert Baumgartner, Georg Gottlob - 1999
39 Computing With Default Logic – Pawel Cholewinski, Victor W. Marek, Artur Mikitiuk, Miros/law Truszczynski - 1999
95 A Survey on Knowledge Compilation – Marco Cadoli, Francesco M. Donini - 1998
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
4 On Stratified Belief Base Compilation – Sylvie Coste-Marquis, Pierre Marquis - 2004
2 Modality and Interrupts – Matthew Ginsberg - 1995
1 The relationship between reasoning about privacy and default logics ∗ – Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian - 2005
1 Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning – Ilkka Niemelä - 1995
43 Default Logic as a Query Language – Marco Cadoli, Thomas Eiter, Georg Gottlob - 1997
37 Experimenting with Nonmonotonic Reasoning – Paweł Cholewinski , V. Wiktor Marek, Artur Mikitiuk, Mirosław Truszczynski - 1995
12 On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription – Tomi Janhunen - 1998
9 Comparing Space Efficiency of Propositional Knowledge Representation Formalisms – Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf - 1996
Chapter 6 Nonmonotonic Reasoning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
21 Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases – Thomas Eiter, Thomas Lukasiewicz - 2000
42 Is Intractability of Non-Monotonic Reasoning a Real Drawback? – Marco Cadoli, Francesco M. Donini, Marco Schaerf - 1996
55 The comparative linguistics of knowledge representation – Goran Gogic, Henry Kautz, Christos Papadimitriou F - 1995