scientific article
From MaRDI portal
Publication:3995236
zbMath0723.68099MaRDI QIDQ3995236
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
circumscriptionmodal nonmonotonic logicspreference orderingsdefault implicationdefaults logicinheritance systemsnonmonotonic rule-based systemsnonmonotonic theorem proving
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (36)
Operational concepts of nonmonotonic logics. I: Default logic ⋮ Nonmonotonic reasoning with multiple belief sets ⋮ Alternative approaches to default logic ⋮ Universe of discourse and existence ⋮ Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic ⋮ A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Evaluating test cases for probabilistic measures of coherence ⋮ On cautious probabilistic inference and default detachment ⋮ An argumentation framework in default logic ⋮ Modular specifications with supernormal defaults ⋮ A sphere world semantics for default reasoning ⋮ Skeptical rational extensions ⋮ Quasi-Topological Structure of Extensions Within Logic of Typicals and Atypicals (LTA) ⋮ Do \textit{ceteris paribus} laws exist? A regularity-based best system analysis ⋮ The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science ⋮ A comparative survey of default logic variants ⋮ Monotonic and dual monotonic language learning ⋮ A simple logic of functional dependence ⋮ Implication with possible exceptions ⋮ Monotonic variable consistency rough set approaches ⋮ A survey of non-monotonic reasoning ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Formalising the Fisherman's Folly puzzle ⋮ Nonmonotonic reasoning by inhibition nets ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ Constraints on extensions of a default theory ⋮ Proving quantified literals in defeasible logic ⋮ Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic ⋮ Lexicographic priorities in default logic ⋮ Reasoning with vague default ⋮ Semi-representability of default theories in rational default logic ⋮ A simple signed system for paraconsistent reasoning ⋮ Belief change as change in epistemic entrenchment ⋮ Alternative foundations for Reiter's default logic ⋮ More on representation theory for default logic ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults
This page was built for publication:
