Pages that link to "Item:Q1687541"
From MaRDI portal
The following pages link to Metric temporal description logics with interval-rigid names (Q1687541):
Displaying 4 items.
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- On metric temporal description logics (Q4576218) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
