Home ›
Entities
› academia
› Finitely Materialisable Datalog Programs with Metric Temporal Operators
Finitely Materialisable Datalog Programs with Metric Temporal Operators
Research article (Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, 2021) · cited 10× · AI/ML
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Finitely Materialisable Datalog Programs with Metric Temporal Operators. Retrieved May 24, 2026, from https://4ort.xyz/entity/finitely-materialisable-datalog-programs-with-metric-temporal-operators