The following pages link to (Q3992826):
Displaying 50 items.
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Using approximate reasoning to represent default knowledge (Q578935) (← links)
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← 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)
- Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB (Q735240) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- A mathematical treatment of defeasible reasoning and its implementation. (Q989158) (← links)
- Formalizing nonmonotonic reasoning systems (Q1099647) (← links)
- On the relation between default and autoepistemic logic (Q1104771) (← links)
- Unification theory (Q1124375) (← links)
- Default reasoning in semantic networks: A formalization of recognition and inheritance (Q1124380) (← links)
- Nonmonotonic reasoning, preferential models and cumulative logics (Q1174512) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← 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)
- On the consistency of defeasible databases (Q1190793) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Semantic networks (Q1202620) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- Defeasible inheritance: A lattice based approach (Q1202666) (← links)
- Foliated semantic networks: Concepts, facts, qualities (Q1202680) (← links)
- Saying more with frames: Slots as classes (Q1202684) (← links)
- Selective inheritance of attribute values in relational databases (Q1202889) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- Structures for prioritized fusion of fuzzy information (Q1292581) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Moral dilemmas and nonmonotonic logic (Q1316409) (← links)
- Implementing specifications by dynamic inheritance (Q1326576) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1341669) (← links)
- Exploiting the deep structure of constraint problems (Q1342216) (← links)
- From inheritance relation to nonaxiomatic logic (Q1344255) (← links)
- A set expression based inheritance system (Q1354083) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Modal logic for default reasoning (Q1356222) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← 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)
- Circumscriptive theories: A logic-based framework for knowledge representation (Q1813201) (← links)
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge (Q1855237) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets (Q2384386) (← links)
