The following pages link to A logic for default reasoning (Q1140434):
Displaying 50 items.
- Probabilities and reasoning about possibilities (Q757347) (← links)
- Foundations of a functional approach to knowledge representation (Q799390) (← links)
- Plausible inferences and plausible reasoning (Q805605) (← links)
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- Nonmonotonic inconsistency (Q814507) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Qualitative choice logic (Q814609) (← links)
- A nonmonotonic observation logic (Q814611) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs (Q819946) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- On the complexity of extension checking in default logic (Q844157) (← links)
- On the decidability of open logic (Q848254) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- A Bayesian approach to informal argument fallacies (Q857690) (← links)
- Default theories over monadic languages (Q860840) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- A logical expression of reasoning (Q885515) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- On the associations between variables in expert systems including default relations (Q908716) (← links)
- Pluralistic evaluation of belief plausibility and its application to nonmonotonic reasoning (Q913785) (← links)
- The Gärdenfors impossibility theorem in non-monotonic contexts (Q917540) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- Updating knowledge bases (Q918229) (← links)
- A logic-based analysis of Dempster-Shafer theory (Q918733) (← links)
- Applied logic without psychologism (Q934820) (← links)
- Resource-origins of nonmonotonicity (Q934827) (← links)
- General default logic (Q987485) (← links)
- A mathematical treatment of defeasible reasoning and its implementation. (Q989158) (← links)
- Conditional entailment: bridging two approaches to default reasoning. (Q989161) (← links)
- A new default theories compilation for MSP-entailment (Q989883) (← links)
- On the soundness of altering granular information (Q997030) (← links)
- Indiscriminability as indiscernibility by default (Q1005966) (← links)
- Modeling generalized implicatures using non-monotonic logics (Q1006457) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- On principle-based evaluation of extension-based argumentation semantics (Q1028948) (← links)
- The computational complexity of ideal semantics (Q1045987) (← links)
- A computational approach to fuzzy quantifiers in natural languages (Q1053665) (← links)
