conftrace_

reasoning algorithm

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic oracle (1) materialisation-based reasoning (1) datalog with metric temporal logic (1) bounded interval (1) forward chaining (1) iterative improvement (1) metric temporal logic (1) large language model (1) canonical model (1) answer aggregation (1)

Papers

Algorithmic Thinking Theory COLT 2026 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023