PTL: a propositional typicality logic
From MaRDI portal
Publication:2915063
DOI10.1007/978-3-642-33353-8_9zbMATH Open1286.68411OpenAlexW1836691125MaRDI QIDQ2915063FDOQ2915063
Authors: Richard Booth, Ivan Varzinczak, Thomas 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
Recommendations
- A propositional typicality logic for extending rational consequence
- On rational entailment for propositional typicality logic
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning in description logics with typicalities and probabilities of exceptions
- A non-monotonic description logic for reasoning about typicality
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Nonmonotonic inference based on expectations
- On the logic of theory change: Partial meet contraction and revision functions
- What does a conditional knowledge base entail?
- Propositional knowledge base revision and minimal change
- Conditional logics of normality: A modal approach
- Preferential reasoning for modal logics
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- A first-order conditional logic for prototypical properties
- Semantics for dual preferential entailment
- A Minimal Model Semantics for Nonmonotonic Reasoning
Cited In (8)
- From KLM-style conditionals to defeasible modalities, and back
- On rational entailment for propositional typicality logic
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Preferential accessibility and preferred worlds
- A propositional typicality logic for extending rational consequence
- Introducing role defeasibility in description logics
- Defeasible linear temporal logic
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
This page was built for publication: PTL: a propositional typicality logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915063)
