ALC+T: a preferential extension of description logics
From MaRDI portal
Publication:3400571
Recommendations
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- A non-monotonic description logic for reasoning about typicality
- Reasoning in description logics with typicalities and probabilities of exceptions
- Typicalities and probabilities of exceptions in nonmotonic description logics
Cited in
(25)- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- On the KLM properties of a fuzzy DL with typicality
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- 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
- Preferential reasoning for modal logics
- PTL: a propositional typicality logic
- Preferences in artificial intelligence
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- A non-monotonic description logic for reasoning about typicality
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- scientific article; zbMATH DE number 1765660 (Why is no real title available?)
- Adaptively applying modus ponens in conditional logics of normality
- A multi-engine theorem prover for a description logic of typicality
- From KLM-style conditionals to defeasible modalities, and back
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$
- Defeasible linear temporal logic
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
This page was built for publication: \({\mathcal{ALC}}+T\): a preferential extension of description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400571)
