PTL: A Propositional Typicality Logic
From MaRDI portal
Publication:2915063
DOI10.1007/978-3-642-33353-8_9zbMath1286.68411MaRDI 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
68T27: Logic in artificial intelligence
Related Items
From KLM-style conditionals to defeasible modalities, and back, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Preferential accessibility and preferred worlds, 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