conftrace_

incremental reasoning

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

seminaive evaluation (1) materialization maintenance (1) composite event recognition (1) streaming environment (1) event calculus (1) datalog reasoning (1) ontology engineering (1) metric temporal logic (1) hypertree decomposition (1) description logic (1)

Papers

Incremental Maintenance of DatalogMTL Materialisations AAAI 2026 Enhancing Datalog Reasoning with Hypertree Decompositions IJCAI 2023 Incremental Event Calculus for Run-Time Reasoning (Extended Abstract) IJCAI 2023 Embracing Change by Abstraction Materialization Maintenance for Large ABoxes IJCAI 2018