A skeptical theory of inheritance in nonmonotonic semantic networks

Cites Work

A logic for default reasoning
Non-monotonic logic. I
A skeptical theory of inheritance in nonmonotonic semantic networks
Semantical considerations on nonmonotonic logic
Circumscription - a form of non-monotonic reasoning
Formalizing nonmonotonic reasoning systems
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)

Cited In (44)

A simple signed system for paraconsistent reasoning
A theory of nonmonotonic inheritance based on annotated logic
Locality in inheritance networks
Autoepistemic logic of knowledge and beliefs
Argument-based extended logic programming with defeasible priorities
Defeasible inheritance on cyclic networks
Defaults with priorities
Graded inheritance nets for knowledge representation
Explaining default intuitions using maximum entropy.
Artificial nonmonotonic neural networks
Making the right exceptions
Minimal model semantics for sorted constraint representation
A logic-based theory of deductive arguments
Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
A mathematical treatment of defeasible reasoning and its implementation.
Nonmonotonic inheritance, argumentation and logic programming
Dynamic reasoning with qualified syllogisms
Argumentation through a distributed self-stabilizing approach
Skepticism and floating conclusions
An argument-based approach to reasoning with specificity
Well-founded and stationary models of logic programs
An approach to default reasoning based on a first-order conditional logic: Revised report
Defeasible inheritance with doubt index and its axiomatic characterization
The complexity of path-based defeasible inheritance
Inheritance systems with exceptions
Well-founded semantics for defeasible logic
Impediments to universal preference-based default theories
Resolving ambiguity in nonmonotonic inheritance hierarchies
Static semantics for normal and disjunctive logic programs
Netl and subsequent path-based inheritance theories
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
Interdefinability of defeasible logic and logic programming under the well-founded semantics
Two problems of direct inference
How to reason defeasibly
Hybridizing nonmonotonic inheritance with theorem proving
Hard problems for simple default logics
On the equivalence of upward and downward inheritance reasoners
Defeasible inheritance: A lattice based approach
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
Fixed-parameter tractability of disjunction-free default reasoning
Nonmonotonic inconsistency

This page was built for publication: A skeptical theory of inheritance in nonmonotonic semantic networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2638811)