scientific article
From MaRDI portal
Publication:3493328
zbMath0709.68104MaRDI QIDQ3493328
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Mechanization of proofs and logical operations (03B35)
Related Items (27)
From ordering-based nonmonotonic reasoning to conditional logics ⋮ Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Conditional logics of normality: A modal approach ⋮ On a rule-based interpretation of default conditionals ⋮ A survey of belief revision and updating rules in various uncertainty models ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ Nonmonotonic reasoning, conditional objects and possibility theory ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Weak nonmonotonic probabilistic logics ⋮ The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning ⋮ Propositional knowledge base revision and minimal change ⋮ On the consistency of defeasible databases ⋮ Rationality, transitivity, and contraposition ⋮ What does a conditional knowledge base entail? ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ On first-order conditional logics ⋮ Belief functions and default reasoning ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding ⋮ Abduction as belief revision ⋮ Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Modal logics for qualitative possibility theory
This page was built for publication:
