Defeasible inheritance with doubt index and its axiomatic characterization
From MaRDI portal
Publication:622128
DOI10.1016/j.artint.2010.09.001zbMath1210.68111OpenAlexW2000544275MaRDI QIDQ622128
Publication date: 31 January 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.09.001
Related Items (2)
On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
Cites Work
- From systems to logic in the early development of nonmonotonic reasoning
- A mathematical treatment of defeasible reasoning and its implementation.
- Conditional entailment: bridging two approaches to default reasoning.
- A logic for default reasoning
- What does a conditional knowledge base entail?
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- Netl and subsequent path-based inheritance theories
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Defaults with priorities
- Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
- Defeasible inheritance systems and reactive diagrams
- Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
- Description logics of minimal knowledge and negation as failure
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Defeasible inheritance with doubt index and its axiomatic characterization