Cumulative default logic: In defense of nonmonotonic inference rules
From MaRDI portal
Publication:1187215
DOI10.1016/0004-3702(91)90099-6zbMath0753.03011MaRDI QIDQ1187215
Publication date: 28 June 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(91)90099-6
Related Items
Towards a classification of defaults logics, Studying properties of classes of default logics, Relevance Sensitive Non-Monotonic Inference on Belief Sequences, Declarative Representation of Revision Strategies*, Analytic tableaux for default logics, Nonmonotonic reasoning by inhibition nets, An argument-based approach to reasoning with specificity, Artificial nonmonotonic neural networks, Graph theoretical structures in logic programs and default theories, On prediction in Theorist, Reasoning by cases in Default Logic, A logic for reasoning with inconsistent knowledge, Prolog technology for default reasoning: proof theory and compilation techniques, Recovery of (non)monotonic theories, Characterizations and algorithms of extensions for CADL and QDL, On cumulative default logics, Operational concepts of nonmonotonic logics. I: Default logic, Cumulative default logic: Finite characterization, algorithms, and complexity, Alternative approaches to default logic, Operational characterization of extensions in some logics for default reasoning, Compiling specificity into approaches to nonmonotonic reasoning, Alternative foundations for Reiter's default logic, Defaults as restrictions on classical Hilbert-style proofs, Default reasoning by deductive planning, A new methodology for query answering in default logics via structure-oriented theorem proving, Consistency defaults, Abductive inference in defeasible reasoning: a model for research programmes, REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗, A Default Logic Patch for Default Logic, Seminormalizing a default theory
Cites Work
