Pages that link to "Item:Q4585057"

The following pages link to Querying Log Data with Metric Temporal Logic (Q4585057):

Displaying 10 items.

• Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
• Can you answer while you wait? (Q2103911) (← links)
• The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
• 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)
• Incremental Event Calculus for Run-Time Reasoning (Q5076337) (← links)
• Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
• Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
• Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)