research
∙
05/15/2023
SAT-Based PAC Learning of Description Logic Concepts
We propose bounded fitting as a scheme for learning description logic co...
share
research
∙
05/08/2023
Preservation theorems for Tarski's relation algebra
We investigate a number of semantically defined fragments of Tarski's al...
research
∙
04/17/2023
Craig Interpolation for Guarded Fragments
We show that the guarded-negation fragment (GNFO) is, in a precise sense...
research
∙
04/13/2023
When do homomorphism counts help in query algorithms?
A query algorithm based on homomorphism counts is a procedure for determ...
research
∙
02/13/2023
Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes
A Datalog program can be viewed as a syntactic specification of a functo...
research
∙
08/22/2022
On the non-efficient PAC learnability of acyclic conjunctive queries
This note serves three purposes: (i) we provide a self-contained exposit...
research
∙
06/13/2022
Characterising Modal Formulas with Examples
We initiate the study of finite characterizations and exact learnability...
research
∙
06/13/2022
Local Dependence and Guarding
We study LFD, a base logic of functional dependence introduced by Baltag...
research
∙
06/10/2022
Extremal Fitting Problems for Conjunctive Queries
The fitting problem for conjunctive queries (CQs) is the problem to cons...
research
∙
08/16/2020
Conjunctive Queries: Unique Characterizations and Exact Learnability
We answer the question which conjunctive queries are uniquely characteri...
research
∙
05/13/2020
Some Model Theory of Guarded Negation
The Guarded Negation Fragment (GNFO) is a fragment of first-order logic ...
research
∙
05/29/2019
Learning Multilingual Word Embeddings Using Image-Text Data
There has been significant interest recently in learning multilingual wo...
research
∙
12/21/2017
Recursive Programs for Document Spanners
A document spanner models a program for Information Extraction (IE) as a...
research
∙
12/06/2014
Declarative Statistical Modeling with Datalog
Formalisms for specifying statistical models, such as probabilistic-prog...
research
∙
01/28/2013