Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
From MaRDI portal
Publication:1924777
DOI10.1007/BF01530953zbMath0855.03013OpenAlexW2065726785MaRDI QIDQ1924777
Toshiro Wakayama, Surya Mantha, Allen L. jun. Brown
Publication date: 9 February 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01530953
nonmonotonic reasoningcircumscriptionpreference logicnormal default theoriespreference ordersmodels of extensionsoptimal worldspreferential theory
Related Items
Logic programming with solution preferences ⋮ A formal specification of document processing ⋮ Preference queries in deductive databases
Cites Work
- Semantical considerations on nonmonotonic logic
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- An approach to default reasoning based on a first-order conditional logic: Revised report
- On the relation between default and autoepistemic logic
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- Non-monotonic logic. I
- Inaccessible worlds
- Nonmonotonic reasoning, preferential models and cumulative logics
- Impediments to universal preference-based default theories
- The logic of conditionals. An application of probability to deductive logic
- On the representation of context
- All I know: A study in autoepistemic logic
- Fundamental axioms for preference relations
- The logic of preference reconsidered
- The Semantics of Predicate Logic as a Programming Language
- Autoepistemic logic
- Deontic Logic and The Priority of Moral Theory
- Intransitive Indifference in Preference Theory: A Survey
- Modality and preference relation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning