Pages that link to "Item:Q4795881"
From MaRDI portal
The following pages link to PSpace Reasoning with the Description Logic ALCF(D) (Q4795881):
Displaying 9 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Description logics with aggregates and concrete domains. (Q1425804) (← links)
- Description logics of context (Q2826028) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- A description logic with concrete domains and a role-forming predicate operator (Q4260086) (← links)
- NEXP TIME-complete description logics with concrete domains (Q5277711) (← links)