PDI - Resultado de Búsqueda

Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

THEORY OF MACHINE LEARNING: DATABASE THEORY; LOGIC IN COMPUTER SCIENCE

Computer Science, UNIVERSITY OF TORONTO. Canada, 2006

Full Professor Full Time

UNIVERSIDAD DE CHILE

Physical and Mathematical Sciences

Chile

2007 - 2019
Full Professor Full Time

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

Chile

2019 - A la fecha

PhD students:
- Miguel Romero. Universidad de Chile, 2016.

Master students:
- Miguel Romero. Universidad de Chile, 2012.
- Victor Carmi. Universidad de Chile, 2013.
- Gonzalo Ríos. Universidad de Chile, 2013.
- Nelson Higuera. Universidad de Chile, 2020.
- Bernardo Subercaseux. Universidad de Chile, 2021.


Link Prediction with Relational Hypergraphs Xingyue Huang, Miguel A. Romero Orth, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan Article Transactions on Machine Learning Research (2025)
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results Arenas M.; Barcelo P.; Bertossi L.; Monaël, M Article ISI SCOPUS Journal of Machine Learning Research (2023)
On the expressiveness of LARA: A proposal for unifying linear and relational algebra Barcelo P.; Higuera N.; Perez J.; Subercaseaux B. Article ISI SCOPUS Theoretical Computer Science (2022)
Screening of COVID-19 cases through a Bayesian network symptoms model and psychophysical olfactory test Eyheramendy, Susana; Valencia, Carlos; Finkelstein-Kulka, Andres; Solari, Sandra; Bahamondes, Pedro; Barcelo, Pablo; Arenas, Marcelo; Agosin, Eduardo Article ISI SCOPUS iScience (2021)
The Complexity of Counting Problems Over Incomplete Databases Arenas, Marcelo; Barcelo, Pablo Article ISI ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2021)
Chile's New Interdisciplinary Institute for Foundational Research on Data Arenas, Marcelo; Barcelo, Pablo Article ISI SCOPUS Communications of the ACM (2020)
Semantic Optimization of Conjunctive Queries Barcelo, Pablo; Figueira, Diego; Pieris, Andreas Article ISI SCOPUS Journal of the ACM (2020)
The Expressive Power of Graph Neural Networks as a Query Language Kostylev, Egor V.; Monet, Mikaël; Silva, Juan-Pablo Article SCOPUS SIGMOD Record (2020)
The homomorphism problem for regular graph patterns Vardi M.Y. Article SCOPUS Proceedings - Symposium on Logic in Computer Science (2017)
Order-invariant types and their applications Barcelo P.; Libkin L. Article SCOPUS Logical Methods in Computer Science (2016)
SIGMOD\PODS PhD Symposium 2015 Program Chairs' Welcome Barcelo P.; Shen H.T. Article SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2015)
Querying Regular Graph Patterns Barcelo P.; Libkin L. Article ISI SCOPUS JOURNAL OF THE ACM (2014)
GRAPH LOGICS WITH RATIONAL RELATIONS Barcelo P.; Figueira D.; Libkin L. Article ISI SCOPUS Logical Methods in Computer Science (2013)
Parameterized regular expressions and their languages Barcelo P.; Reutter J.; Libkin L. Article ISI SCOPUS Theoretical Computer Science (2013)
Solutions and query rewriting in data exchange Arenas M.; Barcelo P.; Fagin R.; Libkin L. Article ISI SCOPUS Information and Computation (2013)
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Arenas M.; Barcelo P.; Reutter J. Article ISI SCOPUS THEORY OF COMPUTING SYSTEMS (2011)
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Arenas M.; Barcelo P.; Libkin L. Article ISI SCOPUS Theory of Computing Systems (2011)
XML with Incomplete Information Barcelo P.; Libkin L.; Poggi, A; Sirangelo, C Article ISI SCOPUS Journal of the ACM (2010)
Logical Foundations of Relational Data Exchange Barcelo P. Article ISI SCOPUS SIGMOD Record (2009)
FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS Alur, R; Arenas M.; Barcelo P.; Etessami, K; Immerman, N; Libkin L. Article ISI Logical Methods in Computer Science (2008)
Game-based notions of locality over finite models Arenasa, M; Barcelo P.; Libkin L. Article ISI SCOPUS ANNALS OF PURE AND APPLIED LOGIC (2008)
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets Barcelo P.; Bertossi L.; Bravo L. Article ISI SCOPUS PROGRESS IN ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION, IWAIPR 2018 (2003)


Foundations of data exchange Arenas M.; Barcelo P.; Libkin L.; Murlak F. BookWhole SCOPUS Foundations of Data Exchange (2010)


Ehrenfeucht-Haussler Rank and Chain of Thought Barceló, Pablo; Kozachinskiy, Alecander: Steifer, Tomasz ConferencePaper (2025)
Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux, José Verschae ConferencePaper (2025)
How Expressive are Knowledge Graph Foundation Models? Xingyue Huang, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan, Mikhail Galkin, Juan L. Reutter, Miguel A. Romero Orth ConferencePaper (2025)
A Uniform Language to Explain Decision Trees Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux ConferencePaper (2024)
Logical Languages Accepted by Transformer Encoders with Hard Attention Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii ConferencePaper (2024)
On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters Matthias Lanzinger, Pablo Barceló ConferencePaper (2024)
UnRavL: A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs Tamara Cucumides, Daniel Daza, Pablo Barceló, Michael Cochez, Floris Geerts, Juan L. Reutter, Miguel Romero ConferencePaper (2024)
A Theory of Link Prediction via Relational Weisfeiler-Leman on Knowledge Graphs Xingyue Huang, Miguel Romero, Ismail Ilkan Ceylan, Pablo Barceló ConferencePaper (2023)
Separating Automatic Relations Pablo Barceló, Diego Figueira, Rémi Morvan ConferencePaper (2023)
Three Iterations of (d-1)-WL Test Distinguish Non Isometric Clouds of d-dimensional Points Delle Rose, V; Kozachinskiy A.; Rojas C.; Petrache M.; Barcelo P. ConferencePaper ISI (2023)
On Computing Probabilistic Explanations for Decision Trees Arenas M.; Barcelo P.; Romero M.; Subercaseaux B. ConferencePaper ISI (2022)
Weisfeiler and Leman Go Relational Barcelo P.; Galkin, M; Morris C.; Romero M. ConferencePaper ISI SCOPUS Proceedings of Machine Learning Research (2022)
Foundations of Symbolic Languages for Model Interpretability Arenas M.; Baez D.; Barcelo P.; Perez J.; Subercaseaux B. ConferencePaper ISI (2021)
Graph Neural Networks with Local Graph Parameters Barcelo P.; Geerts F.; Reutter J.; Ryschkov M. ConferencePaper ISI (2021)
Counting problems over incomplete databases Marcelo Arenas, Pablo Barceló, Mikaël Monet: ConferencePaper (2020)
Model Interpretability through the lens of Computational Complexity Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux ConferencePaper (2020)
On the expressiveness of Lara: A unified language for linear and relational algebra ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2020)
The Limits of Efficiency for Open- and Closed-World Query Evaluation under Guarded TGDs Barcelo P.; Dalmau V.; Feier C.; Lutz C.; Pieris A. ConferencePaper SCOPUS Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (2020)
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris ConferencePaper (2020)
THE LOGICAL EXPRESSIVENESS OF GRAPH NEURAL NETWORKS BarcelÃƒÂ³ P.; Kostylev E.V.; Monet M.; PÃƒÂ©rez J.; Reutter J.; Silva J.P. ConferencePaper SCOPUS 8th International Conference on Learning Representations, ICLR 2020 (2020)
Expressiveness of matrix and tensor query languages in terms of ML operators Higuera N. ConferencePaper SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2019)
Monadic decomposability of regular relations Hong C.-D.; Le X.-B.; Niskanen R. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2019)
Regularizing Conjunctive Features for Classification Dalmau V.; Kimelfeld B. ConferencePaper ISI SCOPUS PROCEEDINGS OF THE 38TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '19) (2019)
When is ontology-mediated querying efficient? Feier C.; Pieris A. ConferencePaper SCOPUS Proceedings - Symposium on Logic in Computer Science (2019)
A more general theory of static approximations for conjunctive queries Zeume T. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2018)
Containment for rule-based ontology-mediated queries Pieris A. ConferencePaper ISI SCOPUS (2018)
G-CORE a core for future graph query languages Angles R.; Boncz P.; Fletcher G.; Lindaaker T.; Paradies M.; Plantikow S.; Sequeda J.; Van Rest O.; Voigt H. ConferencePaper ISI SCOPUS (2018)
The complexity of reverse engineering problems for conjunctive queries ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2017)
Semantic acyclicity under constraints ConferencePaper ISI SCOPUS Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (2016)
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS Barcelo P. ConferencePaper ISI SCOPUS ACM SIGPLAN NOTICES (2016)
Efficient Evaluation and Approximation of Well-designed Pattern Trees Barcelo P.; Pichler, R; Skritek, S ConferencePaper SCOPUS ACM International Conference Proceeding Series (2015)
Efficient evaluation of well-designed pattern trees (extended abstract)? Barcelo P.; Pichler, R; Skritek, S ConferencePaper SCOPUS CEUR Workshop Proceedings (2015)
On the data complexity of consistent query answering over graph databases Barcelo P.; Fontaine G. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2015)
Does query evaluation tractability help query containment? Barcelo P.; Romero M.; Vardi M.Y. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2014)
Graph logics with rational relations: The role of word combinatorics Barcelo P.; Munoz P. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2014)
Sharing and Exchanging Data Awada R.; Barcelo P.; Kiringa I. ConferencePaper ISI SCOPUS PROGRESS IN ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION, IWAIPR 2018 (2014)
A practical query language for graph DBs Angles R.; Barcelo P.; Rios, G ConferencePaper SCOPUS CEUR Workshop Proceedings (2013)
Efficient approximations of conjunctive queries Barcelo P.; Libkin L.; Romero M. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2012)
Graph Logics with Rational Relations and the Generalized Intersection Problem Barcelo P.; Figueira D.; Libkin L. ConferencePaper ISI SCOPUS Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 (2012)
Datalog as a Query Language for Data Exchange Systems Arenas M.; Barcelo P. ConferencePaper ISI PROGRESS IN ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION, IWAIPR 2018 (2011)
Expressive Languages for Path Queries over Graph-Structured Data Barcelo P.; Hurtado C.; Libkin L.; Wood, P. ConferencePaper ISI SCOPUS Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (2010)
XML with Incomplete Information: Models, Properties, and Query Answering Barcelo P.; Libkin L.; Poggi, A; Sirangelo, C ConferencePaper ISI SCOPUS Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (2009)
Combining temporal logics for querying XML documents Arenas M.; Barcelo P.; Libkin L. ConferencePaper ISI PROGRESS IN ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION, IWAIPR 2018 (2006)
No Agreement Without Loss: Learning and Social Choice in Peer Review Pablo Barceló, Mauricio Duarte, Cristóbal Rojas, Tomasz Steifer ConferencePaper


General Chairs' Welcome Barcelo P.; Sanchez-Pi N. Editorial SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2024)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Kohlenbach U.; Barcelo P.; De Queiroz R. Editorial SCOPUS Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
Program Chairs' Welcome Barcelo P.; Chen L. Editorial SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2014)


Special Issue: JCSS Foundations of Data Management Foreword Barcelo P. EditorialMaterial ISI SCOPUS Journal of Computer and System Sciences (2013)


On the data complexity of consistent query answering over graph databases (vol 88, pg 164, 2017) Barcelo P.; Fontaine G.; Salvati, S; Tison, S Errata ISI (2026)