Jan Van den Bussche | DeepAI

DeepAI AI Chat

Featured Co-authors

Marco Montali
42 publications
Julia Stoyanovich
30 publications
Bart Bogaerts
25 publications
Marc Denecker
25 publications
Joost Vennekens
23 publications
Jonni Virtema
18 publications
Juha Kontinen
18 publications
Angela Bonifati
16 publications
Miika Hannula
16 publications
Balder ten Cate
15 publications
Floris Geerts
13 publications

∙ 05/08/2023

Preservation theorems for Tarski's relation algebra

We investigate a number of semantically defined fragments of Tarski's al...

0 Bart Bogaerts, et al. ∙

∙ 04/28/2023

Learning Graph Neural Networks using Exact Compression

Graph Neural Networks (GNNs) are a form of deep learning that enable a w...

0 Jeroen Bollen, et al. ∙

∙ 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...

0 Bart Bogaerts, et al. ∙

∙ 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...

0 Heba Aamer, et al. ∙

∙ 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...

0 Heba Aamer, et al. ∙

∙ 06/14/2022

Expressiveness within Sequence Datalog

Motivated by old and new applications, we investigate Datalog as a langu...

0 Heba Aamer, et al. ∙

∙ 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...

0 Heba Aamer, et al. ∙

∙ 05/27/2022

Temporal graph patterns by timed automata

Temporal graphs represent graph evolution over time, and have been recei...

0 Amir Pouya Aghasadeghi, et al. ∙

∙ 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...

0 Floris Geerts, et al. ∙

∙ 12/22/2021

Shape Fragments

In constraint languages for RDF graphs, such as ShEx and SHACL, constrai...

0 Thomas Delva, et al. ∙

∙ 08/13/2021

SHACL: A Description Logic in Disguise

SHACL is a W3C-proposed language for expressing structural constraints o...

0 Bart Bogaerts, et al. ∙

∙ 06/07/2020

J-Logic: a Logic for Querying JSON

We propose a logical framework, based on Datalog, to study the foundatio...

0 Jan Hidders, et al. ∙

∙ 03/02/2020

Descriptive complexity of real computation and probabilistic independence logic

We introduce a novel variant of BSS machines called Separate Branching B...

0 Miika Hannula, et al. ∙

∙ 04/08/2019

On matrices and K-relations

We show that the matrix query language MATLANG corresponds to a natural ...

0 Robert Brijder, et al. ∙

∙ 03/08/2019

Descriptive Complexity of Deterministic Polylogarithmic Time

We propose a logical characterization of problems solvable in determinis...

0 Flavio Ferrarotti, et al. ∙

∙ 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...

0 Dimitri Surinx, et al. ∙

∙ 04/16/2018

Expressivity within second-order transitive-closure logic

Second-order transitive-closure logic, SO(TC), is an expressive declarat...

0 Flavio Ferrarotti, et al. ∙

∙ 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...

0 Jelle Hellings, et al. ∙

∙ 09/25/2017

On the expressive power of query languages for matrices

We investigate the expressive power of MATLANG, a formal language for ma...

0 Robert Brijder, et al. ∙

∙ 11/27/2015

On the convergence of cycle detection for navigational reinforcement learning

We consider a reinforcement learning framework where agents have to navi...

0 Tom J. Ameloot, et al. ∙

∙ 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...

0 Angela Bonifati, et al. ∙

∙ 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...

0 Tom J. Ameloot, et al. ∙

∙ 06/05/2014

On the satisfiability problem for SPARQL patterns

The satisfiability problem for SPARQL patterns is undecidable in general...

0 Xiaowang Zhang, et al. ∙

∙ 05/08/2014

FO(C): A Knowledge Representation Language of Causality

Cause-effect relations are an important part of human knowledge. In real...

0 Bart Bogaerts, et al. ∙

∙ 06/15/2002

Relational Association Rules: getting WARMeR

In recent years, the problem of association rule mining in transactional...

0 Bart Goethals, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world