257 citations · 421 across the 16 of their papers we have counts for
6 papers · 1 filter
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…
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…
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…
A Decidable Very Expressive Description Logic for Databases (Extended Version)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza +1
We introduce , an extension of the n-ary propositionally closed description logic to deal with attribute-labelled tuples (generalising the position…
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
Alessandro Artale, Enrico Franconi
We introduce an extension of the n-ary description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), with arbitrary projections of relations…
A Temporal Description Logic for Reasoning about Actions and Plans
A. Artale, E. Franconi
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while…