Pages that link to "Item:Q3400571"
From MaRDI portal
The following pages link to ALC + T: a Preferential Extension of Description Logics (Q3400571):
Displayed 14 items.
- Preferences in artificial intelligence (Q314443) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (Q2055796) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- On the KLM properties of a fuzzy DL with typicality (Q2146055) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
- Preferential Reasoning for Modal Logics (Q2825407) (← links)
- PTL: A Propositional Typicality Logic (Q2915063) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Defeasible linear temporal logic (Q6111141) (← links)