Pages that link to "Item:Q2953940"
From MaRDI portal
The following pages link to Probabilistic Description Logics for Subjective Uncertainty (Q2953940):
Displaying 13 items.
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- A formal framework for description logics with uncertainty (Q962955) (← links)
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (Q5268422) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473728) (← links)
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability (Q5507385) (← links)
- Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities (Q5507386) (← links)
- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations (Q5507389) (← links)
- The Probabilistic Description Logic (Q6063856) (← links)
- Acquisition of Terminological Knowledge in Probabilistic Description Logic (Q6488079) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
