Pages that link to "Item:Q1104777"
From MaRDI portal
The following pages link to A logical framework for default reasoning (Q1104777):
Displaying 50 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Abnormality and randomness (Q432964) (← links)
- 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)
- Hypothesizing about signaling networks (Q833723) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- Default theories over monadic languages (Q860840) (← links)
- Updating knowledge bases (Q918229) (← links)
- A mathematical treatment of defeasible reasoning and its implementation. (Q989158) (← links)
- Conditional entailment: bridging two approaches to default reasoning. (Q989161) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- Default logic generalized and simplified (Q1028638) (← 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)
