A first-order conditional logic for prototypical properties
From MaRDI portal
Publication:1108818
DOI10.1016/0004-3702(87)90053-1zbMath0654.68106OpenAlexW2072291277MaRDI QIDQ1108818
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90053-1
Related Items
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Conditional logics of normality: A modal approach, Cut-elimination for quantified conditional logic, In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals, On the KLM properties of a fuzzy DL with typicality, Default reasoning and possibility theory, Some embedding theorems for conditional logic, An approach to default reasoning based on a first-order conditional logic: Revised report, PTL: A Propositional Typicality Logic, A logical framework for default reasoning, On a rule-based interpretation of default conditionals, Belief revision, conditional logic and nonmonotonic reasoning, A first-order conditional logic for prototypical properties, Ceteris paribus conditionals and comparative normalcy, In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, Compiling specificity into approaches to nonmonotonic reasoning, An axiomatic analysis of structured argumentation with priorities, The implicative conditional, From KLM-style conditionals to defeasible modalities, and back, Nonmonotonic reasoning, preferential models and cumulative logics, Plausible reasoning: a first-order approach, What does a conditional knowledge base entail?, Revision algebra semantics for conditional logic, Studying properties of classes of default logics, On rational entailment for propositional typicality logic, Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model, Connexive Conditional Logic. Part I, Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic, On first-order conditional logics, Theorem proving for conditional logics: CondLean and GOALDUCK, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Five faces of minimality, An information-based theory of conditionals, Probabilistic Modeling of Default Reasoning, Conditional probability and defeasible inference
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantical considerations on nonmonotonic logic
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Basic conditional logic
- The logic of conditional obligation. Comments by Harry Beatty
- Counterfactuals
