The following pages link to (Q3200595):
Displaying 12 items.
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- Locality in inheritance networks (Q685497) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1341669) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets (Q2384386) (← links)
- Model-preference default theories (Q2638818) (← links)
- Artificial nonmonotonic neural networks (Q5958708) (← links)
