Pablo Barceló

Michael M. Bronstein

Ismail Ilkan Ceylan

CoRR, 2024

2023

On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2023

A Symbolic Language for Interpreting Decision Trees.

[BibT_eX]

[DOI]

CoRR, 2023

A neuro-symbolic framework for answering conjunctive queries.

[BibT_eX]

[DOI]

CoRR, 2023

Logical Languages Accepted by Transformer Encoders with Hard Attention.

[BibT_eX]

[DOI]

Alexander Kozachinskiy

Vladimir V. Podolskii

CoRR, 2023

On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters.

[BibT_eX]

[DOI]

Matthias Lanzinger

CoRR, 2023

A Theory of Link Prediction via Relational Weisfeiler-Leman.

[BibT_eX]

[DOI]

Xingyue Huang

Ismail Ilkan Ceylan

CoRR, 2023

Three Iterations of (d - 1)-WL Test Distinguish Non Isometric Clouds of d-dimensional Points.

[BibT_eX]

[DOI]

Valentino Delle Rose

Alexander Kozachinskiy

Cristobal Rojas

Mircea Petrache

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Separating Automatic Relations.

[BibT_eX]

[DOI]

Rémi Morvan

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

No Agreement Without Loss: Learning and Social Choice in Peer Review.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

On the expressiveness of Lara: A proposal for unifying linear and relational algebra.

[BibT_eX]

[DOI]

Nelson Higuera

Theor. Comput. Sci., 2022

On Computing Probabilistic Explanations for Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Weisfeiler and Leman Go Relational.

[BibT_eX]

[DOI]

Mikhail Galkin

Christopher Morris

Proceedings of the Learning on Graphs Conference, 2022

2021

The Complexity of Counting Problems Over Incomplete Databases.

[BibT_eX]

[DOI]

Mikaël Monet

ACM Trans. Comput. Log., 2021

Special Issue on Database Theory.

[BibT_eX]

[DOI]

Marco Calautti

Theory Comput. Syst., 2021

Attention is Turing-Complete.

[BibT_eX]

[DOI]

Javier Marinkovic

J. Mach. Learn. Res., 2021

Regularizing conjunctive features for classification.

[BibT_eX]

[DOI]

Alexander Baumgartner

Victor Dalmau

Benny Kimelfeld

J. Comput. Syst. Sci., 2021

Graph Neural Networks with Local Graph Parameters.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Foundations of Symbolic Languages for Model Interpretability.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Explainability Queries for ML Models and its Connections with Data Management Problems (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Database Theory, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The Expressive Power of Graph Neural Networks as a Query Language.

[BibT_eX]

[DOI]

SIGMOD Rec., 2020

A More General Theory of Static Approximations for Conjunctive Queries.

[BibT_eX]

[DOI]

Thomas Zeume

Theory Comput. Syst., 2020

Semantic Optimization of Conjunctive Queries.

[BibT_eX]

[DOI]

J. ACM, 2020

The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.

[BibT_eX]

[DOI]

CoRR, 2020

Chile's new interdisciplinary institute for foundational research on data.

[BibT_eX]

[DOI]

Commun. ACM, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

Counting Problems over Incomplete Databases.

[BibT_eX]

[DOI]

Mikaël Monet

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

Model Interpretability through the lens of Computational Complexity.

[BibT_eX]

[DOI]

Mikaël Monet

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

The Logical Expressiveness of Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra.

[BibT_eX]

[DOI]

Nelson Higuera

Proceedings of the 23rd International Conference on Database Theory, 2020

2019

Graph Path Navigation.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators.

[BibT_eX]

[DOI]

Nelson Higuera

Proceedings of the 3rd International Workshop on Data Management for End-to-End Machine Learning, 2019

When is Ontology-Mediated Querying Efficient?

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

On the Turing Completeness of Modern Neural Network Architectures.

[BibT_eX]

[DOI]

Javier Marinkovic

Proceedings of the 7th International Conference on Learning Representations, 2019

Monadic Decomposability of Regular Relations.

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Boundedness of Conjunctive Regular Path Queries.

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

A Theoretical View on Reverse Engineering Problems for Database Query Languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Locality of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2018

Bisimulations on Data Graphs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

G-CORE: A Core for Future Graph Query Languages.

[BibT_eX]

[DOI]

George H. L. Fletcher

Proceedings of the 2018 International Conference on Management of Data, 2018

Containment for Rule-Based Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Gerald Berger

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Graph Logics with Rational Relations: The Role of Word Combinatorics.

[BibT_eX]

[DOI]

Pablo Muñoz

ACM Trans. Comput. Log., 2017

Semantic Optimization in Tractable Classes of Conjunctive Queries.

[BibT_eX]

[DOI]

SIGMOD Rec., 2017

On the data complexity of consistent query answering over graph databases.

[BibT_eX]

[DOI]

Gaëlle Fontaine

J. Comput. Syst. Sci., 2017

21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014.

[BibT_eX]

[DOI]

Ulrich Kohlenbach

Ruy J. G. B. de Queiroz

Inf. Comput., 2017

Foundations of Modern Query Languages for Graph Databases.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

The homomorphism problem for regular graph patterns.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

The Complexity of Reverse Engineering Problems for Conjunctive Queries.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Database Theory, 2017

Guarded Ontology-Mediated Queries Distributing Over Components.

[BibT_eX]

[DOI]

Gerald Berger

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Semantic Acyclicity on Graph Databases.

[BibT_eX]

[DOI]

Moshe Y. Vardi

SIAM J. Comput., 2016

Order-Invariant Types and Their Applications.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

Foundations of Modern Graph Query Languages.

[BibT_eX]

[DOI]

CoRR, 2016

Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

String solving with word equations and transducers: towards a logic for analysing mutation XSS.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Semantic Acyclicity Under Constraints.

[BibT_eX]

[DOI]

Georg Gottlob

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

2015

21st Workshop on Logic, Language, Information and Computation (<i>WoLLIC 2014</i>).

[BibT_eX]

[DOI]

Ulrich Kohlenbach

Ruy J. G. B. de Queiroz

Log. J. IGPL, 2015

String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version).

[BibT_eX]

[DOI]

Anthony W. Lin

CoRR, 2015

Expressive Path Queries on Graph with Data.

[BibT_eX]

[DOI]

Gaëlle Fontaine

Log. Methods Comput. Sci., 2015

Efficient Evaluation and Approximation of Well-designed Pattern Trees.

[BibT_eX]

[DOI]

Reinhard Pichler

Sebastian Skritek

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract).

[BibT_eX]

[DOI]

Reinhard Pichler

Sebastian Skritek

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Efficient Approximations of Conjunctive Queries.

[BibT_eX]

[DOI]

SIAM J. Comput., 2014

Querying Regular Graph Patterns.

[BibT_eX]

[DOI]

J. ACM, 2014

Does query evaluation tractability help query containment?

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Foundations of Data Exchange

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 9781107016163, 2014

2013

Parameterized regular expressions and their languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

The Chilean Database Group.

[BibT_eX]

[DOI]

J. Inf. Data Manag., 2013

Editor's foreword.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

Solutions and query rewriting in data exchange.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Graph Logics with Rational Relations

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Querying graph databases.

[BibT_eX]

[DOI]

Pablo Barceló Baeza

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Expressive Path Queries on Graphs with Data.

[BibT_eX]

[DOI]

Gaëlle Fontaine

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Sharing and Exchanging Data.

[BibT_eX]

[DOI]

Rana Awada

Iluju Kiringa

Proceedings of the Declarative Programming and Knowledge Management, 2013

Schema mappings and data exchange for graph databases.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

A Practical Query Language for Graph DBs.

[BibT_eX]

[DOI]

Renzo Angles

Gonzalo Rios

Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012

Expressive Languages for Path Queries over Graph-Structured Data.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2012

Graph Logics with Rational Relations and the Generalized Intersection Problem.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Relative Expressiveness of Nested Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

On Low Treewidth Approximations of Conjunctive Queries.

[BibT_eX]

[DOI]

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

Querying graph patterns.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

2010

Relational and XML Data Exchange

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01840-4, 2010

XML with incomplete information.

[BibT_eX]

[DOI]

J. ACM, 2010

Expressive languages for path queries over graph-structured data.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Datalog as a Query Language for Data Exchange Systems.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

On Incomplete XML Documents with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009

Locality of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Logical foundations of relational data exchange.

[BibT_eX]

[DOI]

SIGMOD Rec., 2009

XML with incomplete information: models, properties, and query answering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

2008

First-Order and Temporal Logics for Nested Words.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Game-based notions of locality over finite models.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

2007

Combining Temporal Logics for Querying XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

2006

Game-based notions of locality and their applications in data exchange.

[BibT_eX]

[DOI]

PhD thesis, 2006

2005

Temporal Logics over Unranked Trees.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Locally Consistent Transformations and Query Answering in Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

2003

Logic Programs for Querying Inconsistent Databases.

[BibT_eX]

[DOI]

Leopoldo E. Bertossi

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Repairing databases with annotated predicate logic.

[BibT_eX]

Leopoldo E. Bertossi

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.

[BibT_eX]

[DOI]