The following pages link to (Q4028805):
Displaying 17 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Description Logics (Q3638996) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
