Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
First-Order Temporal Logic Tensor Networks
Luca Boscarato, Ivan Donadello, Alessandro Artale +2
Most of the existing neuro-symbolic AI methods focus on the scenario of static knowledge where objects do not change according to a temporal dimension. Temporal neuro-symbolic work…
cs.AI2025
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov +1
Our concern is the data complexity of answering linear monadic datalog queries whose atoms in the rule bodies can be prefixed by operators of linear temporal logic LTL. We first ob…