Pages that link to "Item:Q3532467"
From MaRDI portal
The following pages link to Reasoning about Typicality in Preferential Description Logics (Q3532467):
Displayed 9 items.
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- Nonmonotonic reasoning, expectations orderings, and conceptual spaces (Q2135952) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- A Tableau Calculus for Minimal Modal Model Generation (Q2825415) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)