PTL: A Propositional Typicality Logic
From MaRDI portal
Publication:2915063
DOI10.1007/978-3-642-33353-8_9zbMath1286.68411OpenAlexW1836691125MaRDI QIDQ2915063
Ivan Varzinczak, Richard F. Booth, Thomas Andreas Meyer
Publication date: 21 September 2012
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_9
Related Items
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Defeasible linear temporal logic ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ Introducing Role Defeasibility in Description Logics
Cites Work
- Semantics for dual preferential entailment
- A first-order conditional logic for prototypical properties
- Nonmonotonic reasoning, preferential models and cumulative logics
- Propositional knowledge base revision and minimal change
- What does a conditional knowledge base entail?
- Nonmonotonic inference based on expectations
- Conditional logics of normality: A modal approach
- Preferential Reasoning for Modal Logics
- A Minimal Model Semantics for Nonmonotonic Reasoning
- ALC + T: a Preferential Extension of Description Logics
- On the logic of theory change: Partial meet contraction and revision functions
This page was built for publication: PTL: A Propositional Typicality Logic