Picture for Pablo Barcelo

Pablo Barcelo

A Symbolic Language for Interpreting Decision Trees

Add code
Oct 18, 2023
Viaarxiv icon

Logical Languages Accepted by Transformer Encoders with Hard Attention

Add code
Oct 05, 2023
Viaarxiv icon

Weisfeiler and Leman Go Relational

Add code
Nov 30, 2022
Viaarxiv icon

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

Add code
Nov 18, 2020
Viaarxiv icon

When is Ontology-Mediated Querying Efficient?

Add code
Mar 17, 2020
Figure 1 for When is Ontology-Mediated Querying Efficient?
Figure 2 for When is Ontology-Mediated Querying Efficient?
Figure 3 for When is Ontology-Mediated Querying Efficient?
Viaarxiv icon

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

Add code
Dec 28, 2019
Viaarxiv icon

Containment for Rule-Based Ontology-Mediated Queries

Add code
Apr 19, 2017
Figure 1 for Containment for Rule-Based Ontology-Mediated Queries
Figure 2 for Containment for Rule-Based Ontology-Mediated Queries
Figure 3 for Containment for Rule-Based Ontology-Mediated Queries
Viaarxiv icon