PTL: a propositional typicality logic
From MaRDI portal
Publication:2915063
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
- A Minimal Model Semantics for Nonmonotonic Reasoning
- A first-order conditional logic for prototypical properties
- Conditional logics of normality: A modal approach
- Nonmonotonic inference based on expectations
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Preferential reasoning for modal logics
- Propositional knowledge base revision and minimal change
- Semantics for dual preferential entailment
- What does a conditional knowledge base entail?
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
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
- Introducing role defeasibility in description logics
- A propositional typicality logic for extending rational consequence
- 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)
