Pages that link to "Item:Q2915063"
From MaRDI portal
The following pages link to PTL: A Propositional Typicality Logic (Q2915063):
Displayed 7 items.
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Preferential accessibility and preferred worlds (Q1711506) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Defeasible linear temporal logic (Q6111141) (← links)