research
∙
05/08/2023
Preservation theorems for Tarski's relation algebra
We investigate a number of semantically defined fragments of Tarski's al...
share
research
∙
04/28/2023
Learning Graph Neural Networks using Exact Compression
Graph Neural Networks (GNNs) are a form of deep learning that enable a w...
research
∙
12/07/2022
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
SHACL is a W3C-proposed schema language for expressing structural constr...
research
∙
10/01/2022
Executable First-Order Queries in the Logic of Information Flows
The logic of information flows (LIF) has recently been proposed as a gen...
research
∙
09/14/2022
Inputs, Outputs, and Composition in the Logic of Information Flows
The logic of information flows (LIF) is a general framework in which tas...
research
∙
06/14/2022
Expressiveness within Sequence Datalog
Motivated by old and new applications, we investigate Datalog as a langu...
research
∙
05/31/2022
What Can Database Query Processing Do for Instance-Spanning Constraints?
In the last decade, the term instance-spanning constraint has been intro...
research
∙
05/27/2022
Temporal graph patterns by timed automata
Temporal graphs represent graph evolution over time, and have been recei...
research
∙
03/17/2022
On the expressive power of message-passing neural networks as global feature map transformers
We investigate the power of message-passing neural networks (MPNNs) in t...
research
∙
12/22/2021
Shape Fragments
In constraint languages for RDF graphs, such as ShEx and SHACL, constrai...
research
∙
08/13/2021
SHACL: A Description Logic in Disguise
SHACL is a W3C-proposed language for expressing structural constraints o...
research
∙
06/07/2020
J-Logic: a Logic for Querying JSON
We propose a logical framework, based on Datalog, to study the foundatio...
research
∙
03/02/2020
Descriptive complexity of real computation and probabilistic independence logic
We introduce a novel variant of BSS machines called Separate Branching B...
research
∙
04/08/2019
On matrices and K-relations
We show that the matrix query language MATLANG corresponds to a natural ...
research
∙
03/08/2019
Descriptive Complexity of Deterministic Polylogarithmic Time
We propose a logical characterization of problems solvable in determinis...
research
∙
08/27/2018
A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries
When a relational database is queried, the result is normally a relation...
research
∙
04/16/2018
Expressivity within second-order transitive-closure logic
Second-order transitive-closure logic, SO(TC), is an expressive declarat...
research
∙
03/04/2018
Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees
Motivated by the continuing interest in the tree data model, we study th...
research
∙
09/25/2017
On the expressive power of query languages for matrices
We investigate the expressive power of MATLANG, a formal language for ma...
research
∙
11/27/2015
On the convergence of cycle detection for navigational reinforcement learning
We consider a reinforcement learning framework where agents have to navi...
research
∙
03/05/2015
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries
Conjunctive database queries have been extended with a mechanism for obj...
research
∙
02/21/2015
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors
We study the expressive power of positive neural networks. The model use...
research
∙
06/05/2014
On the satisfiability problem for SPARQL patterns
The satisfiability problem for SPARQL patterns is undecidable in general...
research
∙
05/08/2014
FO(C): A Knowledge Representation Language of Causality
Cause-effect relations are an important part of human knowledge. In real...
research
∙
06/15/2002