A propositional typicality logic for extending rational consequence
From MaRDI portal
Recommendations
- PTL: a propositional typicality logic
- On rational entailment for propositional typicality logic
- Reasoning in description logics with typicalities and probabilities of exceptions
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning about Typicality in Preferential Description Logics
Cited in
(7)- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Preferential accessibility and preferred worlds
- Nonmonotonic reasoning, expectations orderings, and conceptual spaces
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- On rational entailment for propositional typicality logic
- Introducing role defeasibility in description logics
- PTL: a propositional typicality logic
This page was built for publication: A propositional typicality logic for extending rational consequence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414676)
