The following pages link to (Q3888567):
Displayed 29 items.
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← links)
- The complexity of path-based defeasible inheritance (Q685542) (← links)
- A formal model of diagnostic inference. II. Algorithmic solution and application (Q1069318) (← links)
- Connectionistic models of Boolean category representation (Q1081315) (← links)
- Formalizing nonmonotonic reasoning systems (Q1099647) (← links)
- Testing for class membership in multi-parent hierarchies (Q1107299) (← links)
- Default reasoning in semantic networks: A formalization of recognition and inheritance (Q1124380) (← links)
- Hard problems for simple default logics (Q1182166) (← links)
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning (Q1182167) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Semantic networks (Q1202620) (← links)
- The ECO family (Q1202626) (← links)
- The KL-ONE family (Q1202629) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- Massively-parallel marker-passing in semantic networks (Q1202637) (← links)
- Structured connectionist models of semantic networks (Q1202638) (← links)
- Beyond is-a and part-whole: More semantic network links (Q1202651) (← links)
- Defeasible inheritance: A lattice based approach (Q1202666) (← links)
- Saying more with frames: Slots as classes (Q1202684) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- A set expression based inheritance system (Q1354083) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- The place of logic in reasoning (Q1931351) (← links)
- Parallel pointer machines (Q2366720) (← 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)
- Diagnostic problem-solving with causal chaining (Q3775002) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)