Temporal-Locig Queries
No abstract available.
DOI 10.1007/10722167_34
Related papers
- TLQSolver: A Temporal Logic Query Checker CAV 2003
- Language-Integrated Query for Temporal Data GPCE 2022
- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains TACAS 2024
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- StreamQL: a query language for processing streaming time series OOPSLA 2020
- PANNS: Enhancing Graph-based Approximate Nearest Neighbor Search through Recency-aware Construction and Parameterized Search PPoPP 2025
- Typestate-based semantic code search over partial programs OOPSLA 2012
- TorchQL: A Programming Framework for Integrity Constraints in Machine Learning OOPSLA 2024