Pages that link to "Item:Q1687541"

The following pages link to Metric temporal description logics with interval-rigid names (Q1687541):

Displaying 3 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)
• Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)