Pages that link to "Item:Q814545"

The following pages link to Combining interval-based temporal reasoning with general TBoxes (Q814545):

Displaying 3 items.

• Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
• A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
• An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)