Pages that link to "Item:Q1104777"
From MaRDI portal
The following pages link to A logical framework for default reasoning (Q1104777):
Displayed 50 items.
- Graded hypothesis theories (Q673394) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- On prediction in Theorist (Q685340) (← links)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Equality and abductive residua for Horn clauses (Q689280) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Nonmonotonic inconsistency (Q814507) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Default theories over monadic languages (Q860840) (← links)
- Updating knowledge bases (Q918229) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- Preferential reasoning in the perspective of Poole default logic (Q1128488) (← links)
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning (Q1182167) (← links)
- Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- On first-order conditional logics (Q1274556) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Lexicographic priorities in default logic (Q1277698) (← links)
- Reasoning with vague default (Q1282590) (← links)
- The open logic and its relation to circumscription (Q1297717) (← links)
- Probabilistic Horn abduction and Bayesian networks (Q1313950) (← links)
- Nonmonotonic inference based on expectations (Q1321060) (← links)
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations (Q1327479) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language (Q1332850) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- An argumentation framework in default logic (Q1353850) (← links)
- On rules of abduction. (Q1353881) (← links)
- Choosing reference classes and building provisional models (Q1356195) (← links)
- Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions (Q1392104) (← links)
- Hypothetical reasoning and brainware (Q1399841) (← links)
- Non-prioritized ranked belief change (Q1402585) (← links)
- An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Default reasoning and belief revision: A syntax-independent approach (Q1587335) (← links)
- Expressing preferences in default logic (Q1589465) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- Abductive logics in a belief revision framework (Q1778101) (← links)
- Local logics, non-monotonicity and defeasible argumentation (Q1778103) (← links)