conftrace_

forward chaining

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

backward chaining (2) metric temporal logic (2) datalog extension (1) temporal ontology (1) materialisation-based reasoning (1) datalog with metric temporal logic (1) bounded interval (1) bidirectional chaining (1) automata-based reasoning (1) depth-first reasoning (1)

Papers

Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals AAAI 2023 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018