Pages that link to "Item:Q2638811"
From MaRDI portal
The following pages link to A skeptical theory of inheritance in nonmonotonic semantic networks (Q2638811):
Displaying 44 items.
- Making the right exceptions (Q309916) (← links)
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- Locality in inheritance networks (Q685497) (← links)
- The complexity of path-based defeasible inheritance (Q685542) (← links)
- Nonmonotonic inconsistency (Q814507) (← links)
- A mathematical treatment of defeasible reasoning and its implementation. (Q989158) (← links)
- An approach to default reasoning based on a first-order conditional logic: Revised report (Q1103607) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- Hard problems for simple default logics (Q1182166) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- How to reason defeasibly (Q1199924) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- Defeasible inheritance: A lattice based approach (Q1202666) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1341669) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Defeasible inheritance on cyclic networks (Q1402730) (← links)
- Explaining default intuitions using maximum entropy. (Q1427351) (← links)
- Two problems of direct inference (Q1758563) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets (Q2384386) (← links)
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement (Q2401637) (← links)
- A skeptical theory of inheritance in nonmonotonic semantic networks (Q2638811) (← links)
- Defaults with priorities (Q2642474) (← links)
- Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124) (← links)
- Argument-based extended logic programming with defeasible priorities (Q3128365) (← links)
- Graded inheritance nets for knowledge representation (Q4632318) (← links)
- Argumentation through a distributed self-stabilizing approach (Q4808099) (← links)
- Nonmonotonic inheritance, argumentation and logic programming (Q5101459) (← links)
- A simple signed system for paraconsistent reasoning (Q5236448) (← links)
- A logic-based theory of deductive arguments (Q5941137) (← links)
- An argument-based approach to reasoning with specificity (Q5958392) (← links)
- Skepticism and floating conclusions (Q5958539) (← links)
- Artificial nonmonotonic neural networks (Q5958708) (← links)
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments (Q6178732) (← links)
