Defeasible inheritance with doubt index and its axiomatic characterization
type: Item
instance of: scholarly article
title: Defeasible inheritance with doubt index and its axiomatic characterization
zbMATH Open document ID: 1210.68111
author: Erik Sandewall
published in: Artificial Intelligence
publication date: 2011-01-31T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5843095
zbMATH Keywords: defeasible inheritance
zbMATH Keywords: multiple inheritance with exceptions
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: underlying semantics
MaRDI profile type: Publication
full work available at URL: j.artint.2010.09.001
OpenAlex ID: W2000544275
cites work: Q4406531
cites work: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
cites work: Q3200586
cites work: Q4537442
cites work: Description logics of minimal knowledge and negation as failure
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: Default reasoning from conditional knowledge bases: Complexity and tractable cases
cites work: Q4692605
cites work: Q3888567
cites work: Q4713940
cites work: Conditional entailment: bridging two approaches to default reasoning.
cites work: Q4514009
cites work: Defeasible inheritance systems and reactive diagrams
cites work: Defaults with priorities
cites work: A skeptical theory of inheritance in nonmonotonic semantic networks
cites work: Q4411719
cites work: What does a conditional knowledge base entail?
cites work: Nonmonotonic inheritance in object-oriented deductive database languages
cites work: Inheritance comes of age: applying nonmonotonic techniques to problems in industry
cites work: Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
cites work: Q4501587
cites work: Q4789446
cites work: A logic for default reasoning
cites work: Q5663383
cites work: From systems to logic in the early development of nonmonotonic reasoning
cites work: Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
cites work: A mathematical treatment of defeasible reasoning and its implementation.
cites work: Resolving ambiguity in nonmonotonic inheritance hierarchies
cites work: Q3829538
cites work: Netl and subsequent path-based inheritance theories
cites work: Q3992826
cites work: Q4012246
DOI: 10.1016/J.ARTINT.2010.09.001
Recommended article: Defeasible inheritance-based description logics
Recommended article: Q3200596
Recommended article: The complexity of path-based defeasible inheritance
Recommended article: Q4511310
Recommended article: Q3200586
Recommended article: Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
Recommended article: Q2767055
Recommended article: On the equivalence of upward and downward inheritance reasoners
description: scientific article; zbMATH DE number 5843095