Cumulative default logic: In defense of nonmonotonic inference rules
From MaRDI portal
Publication:1187215
DOI10.1016/0004-3702(91)90099-6zbMath0753.03011OpenAlexW157785659MaRDI 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 (45)
Operational concepts of nonmonotonic logics. I: Default logic ⋮ Cumulative default logic: Finite characterization, algorithms, and complexity ⋮ Alternative approaches to 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 ⋮ Operational characterization of extensions in some logics for default reasoning ⋮ Reasoning by cases in Default Logic ⋮ The place of logic in reasoning ⋮ On the extension of logic programming with negation through uniform proofs ⋮ Skeptical rational extensions ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Analytic tableaux for default logics ⋮ A sequent calculus for skeptical Default Logic ⋮ Consistency defaults ⋮ Skeptical query-answering in Constrained Default Logic ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Graph theoretical structures in logic programs and default theories ⋮ Towards a classification of defaults logics ⋮ On prediction in Theorist ⋮ A logic for reasoning with inconsistent knowledge ⋮ Restricted semantics for default reasoning ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Cumulativity Tailored for Nonmonotonic Reasoning ⋮ Nonmonotonic reasoning by inhibition nets ⋮ Studying properties of classes of default logics ⋮ An argument-based approach to reasoning with specificity ⋮ Artificial nonmonotonic neural networks ⋮ Selection of search strategies for solving 3-SAT problems ⋮ Relevance Sensitive Non-Monotonic Inference on Belief Sequences ⋮ Declarative Representation of Revision Strategies* ⋮ A tableaux calculus for default intuitionistic logic ⋮ A Default Logic Patch for Default Logic ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Recovery of (non)monotonic theories ⋮ Seminormalizing a default theory ⋮ Semi-representability of default theories in rational default logic ⋮ A query answering algorithm for Lukaszewicz' general open default theory ⋮ A system for computing constrained default logic extensions ⋮ Characterizations and algorithms of extensions for CADL and QDL ⋮ Abductive inference in defeasible reasoning: a model for research programmes ⋮ Alternative foundations for Reiter's default logic ⋮ REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗ ⋮ On cumulative default logics
Cites Work
This page was built for publication: Cumulative default logic: In defense of nonmonotonic inference rules
