Sergio Abriola

Consejo Nacional de Investigaciones Científicas y Técnicas — Argentina

Computer Science · Physical Sciences

5h-index61citations32works0.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, Reasoning, and Knowledge(9), Logic, programming, and type systems(7), Formal Methods in Verification(7), Advanced Database Systems and Queries(5), semigroups and automata theory(5)

Publications31 total

A note on busy beaver bounds
Theoretical Computer Science·2025
A Note on Busy Beaver Bounds
SSRN Electronic Journal·2025Open Access
Axiomatization of XPath with general data comparison
Journal of Applied Non-Classical Logics·2024
The Distributional Uncertainty of the SHAP Score in Explainable Machine Learning
Frontiers in artificial intelligence and applications·2024· 1 citedOpen Access
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
2024Open Access
Computational Complexity of Preferred Subset Repairs on Data-Graphs
arXiv (Cornell University)·2024Open Access
The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
arXiv (Cornell University)·2024Open Access
Measuring well quasi-ordered finitary powersets
arXiv (Cornell University)·2023Open Access
An epistemic approach to model uncertainty in data-graphs
International Journal of Approximate Reasoning·2023· 1 cited
Data-graph repairs: the preferred approach
arXiv (Cornell University)·2023Open Access
On the Complexity of Finding Set Repairs for Data-Graphs
Journal of Artificial Intelligence Research·2023· 1 citedOpen Access
On the complexity of finding set repairs for data-graphs
arXiv (Cornell University)·2022Open Access
An epistemic approach to model uncertainty in data-graphs
arXiv (Cornell University)·2021Open Access
A logical framework to study concept-learning biases in the presence of multiple explanations
Behavior Research Methods·2021Open Access
Characterizations for XPath R (đownarrow ).
Workshop on Logic, Language, Information and Computation·2021
Characterizations for $$\text {XPath}^{}_{{\mathcal R}}(\downarrow ){}$$
Lecture notes in computer science·2021
Bisimulations on Data Graphs
Journal of Artificial Intelligence Research·2018· 15 citedOpen Access
Axiomatizations for downward XPath on data trees
Journal of Computer and System Sciences·2017· 1 citedOpen Access
Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos
Repositorio Digital Institucional de la Universidad de Buenos Aires (Universidad de Buenos Aires)·2017Open Access
Model theory of XPath on data trees. Part II: Binary bisimulation and definability
Information and Computation·2017· 14 cited
page 1 of 2Next →

Frequent Co-authors

Santiago Figueira(11), Nina Pardal(9), Santiago Cifuentes(9), María Vanina Martínez(8), Edwin Pin(5), Nicolás González(5), María Emilia Descotte(4), Diego Figueira(2), Gabriel Senno(2), Edwin Pin Baque(2), Leopoldo Bertossi(2), Tomas Jose Schitter(2), Pablo Barceló(1), Raul Fervari(1), Miguel Romero(1), Bradley J. Bradford(1), Robert Brockmann(1), Simon Halfon(1), Aliaume Lopez(1), Sylvain Schmitz(1)