conftrace_

metric temporal logic

10 papers

Explore in graph

Also known as

MTL

Co-occurring keywords · papers mentioning both

data complexity (4) stream reasoning (3) temporal logic (3) computational complexity (3) forward chaining (2) automated reasoning (2) knowledge representation (2) temporal reasoning (2) stratified negation (1) fact entailment (1)

Papers

Incremental Maintenance of DatalogMTL Materialisations AAAI 2026 Inconsistency Handling in DatalogMTL IJCAI 2025 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Tractable Fragments of Datalog with Metric Temporal Operators IJCAI 2020 Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019 DatalogMTL: Computational Complexity and Expressive Power IJCAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019