activity
20082023
most citedFirst-Order and Temporal Logics for Nested Words

100 citations · 287 across the 22 of their papers we have counts for

collaborators

23 papers

cs.LG2023★ 5 cited

A Theory of Link Prediction via Relational Weisfeiler-Leman on Knowledge Graphs

Xingyue Huang, Miguel Romero Orth, İsmail İlkan Ceylan +1

Graph neural networks are prominent models for representation learning over graph-structured data. While the capabilities and limitations of these models are well-understood for si…

cs.LG2022★ 1 cited

Weisfeiler and Leman Go Relational

Pablo Barcelo, Mikhail Galkin, Christopher Morris +1

Knowledge graphs, modeling multi-relational data, improve numerous applications such as question answering or graph logical reasoning. Many graph neural networks for such data emer…

cs.DB2020

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

Pablo Barcelo, Gerald Berger, Carsten Lutz +1

We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability,…

cs.AI2020★ 1 cited

The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits

Marcelo Arenas, Pablo Barceló Leopoldo Bertossi, Mikaël Monet

Scores based on Shapley values are widely used for providing explanations to classification results over machine learning models. A prime example of this is the influential SHAP-sc…

cs.DB2020

When is Ontology-Mediated Querying Efficient?

Pablo Barcelo, Cristina Feier, Carsten Lutz +1

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However…

cs.DB2019

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs

Pablo Barcelo, Victor Dalmau, Cristina Feier +2

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-med…