conftrace_

temporal operator

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

metric temporal datalog (1) chase algorithm (1) automata technique (1) temporal equilibrium logic (1) linear-time temporal logic (1) metric temporal operator (1) stream reasoning (1) metric temporal logic (1) linear temporal logic (1) logic programming (1)

Papers

On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019