scientific article; zbMATH DE number 3694633
From MaRDI portal
Publication:3888567
Cited in
(29)- A formal model of diagnostic inference. II. Algorithmic solution and application
- Connectionistic models of Boolean category representation
- Formalizing nonmonotonic reasoning systems
- Testing for class membership in multi-parent hierarchies
- Default reasoning in semantic networks: A formalization of recognition and inheritance
- Hard problems for simple default logics
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- Natural language syntax and first-order inference
- Semantic networks
- The ECO family
- The KL-ONE family
- Netl and subsequent path-based inheritance theories
- Massively-parallel marker-passing in semantic networks
- Structured connectionist models of semantic networks
- Beyond is-a and part-whole: More semantic network links
- Defeasible inheritance: A lattice based approach
- Saying more with frames: Slots as classes
- Inheritance systems with exceptions
- A set expression based inheritance system
- Hybridizing nonmonotonic inheritance with theorem proving
- Dynamic reasoning with qualified syllogisms
- The place of logic in reasoning
- Parallel pointer machines
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Diagnostic problem-solving with causal chaining
- Universal logic as a science of patterns
- Defeasible inheritance with doubt index and its axiomatic characterization
- The complexity of path-based defeasible inheritance
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3888567)