Publicaties
Datalog queries distributing over components Vrije Universiteit Brussel Universiteit Hasselt
We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog (the fragment of Datalog where all rules are connected) provides an effective syntax for ...
Datalog queries distributing over components Vrije Universiteit Brussel Universiteit Hasselt
We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog (the fragment of Datalog where all rules are connected) provides an effective syntax for ...
Concept features and lexical diversity. A dialectological case study on the relationship between meaning and variation KU Leuven
Functional changes in the language network in response to increased amyloid β deposition in cognitively intact older adults KU Leuven Universiteit Antwerpen
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints Vrije Universiteit Brussel
Approximation fixpoint theory (AFT) is an algebraic study of fixpoints of lattice operators that unifies various knowledge representation formalisms. In AFT, stratification of operators has been studied, essentially resulting in a theory that specifies when certain types of fixpoints can be computed stratum per stratum. Recently, novel types of fixpoints related to groundedness have been introduced in AFT. In this article, we study how those ...