Sergio Abriola

25 papers A* 2A 1B 1C 4Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A note on busy beaver bounds.
Theor. Comput. Sci.
Tomás Schitter, Sergio Abriola, Nicolás González
2025 J jnl
Axiomatization of XPath with general data comparison.
J. Appl. Non Class. Logics
Sergio Abriola, Santiago Figueira, Nicolás González
2024 J jnl
Computational Complexity of Preferred Subset Repairs on Data-Graphs.
CoRR
Nina Pardal, Santiago Cifuentes, Edwin Pin, Maria Vanina Martinez, Sergio Abriola
2024 A* conf
On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint).
IJCAI
Sergio Abriola, Maria Vanina Martinez, Nina Pardal, Santiago Cifuentes, Edwin Pin Baque
2024 A conf
The Distributional Uncertainty of the SHAP Score in Explainable Machine Learning.
ECAI
Santiago Cifuentes, Leopoldo E. Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero
2024 J jnl
The Distributional Uncertainty of the SHAP score in Explainable Machine Learning.
CoRR
Santiago Cifuentes, Leopoldo E. Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero
2023 J jnl
An epistemic approach to model uncertainty in data-graphs.
Int. J. Approx. Reason.
Sergio Abriola, Santiago Cifuentes, Maria Vanina Martinez, Nina Pardal, Edwin Pin
2023 — conf
Data-graph repairs: the preferred approach.
AMW
Sergio Abriola, Santiago Cifuentes, Nina Pardal, Edwin Pin Baque
2023 J jnl
Data-graph repairs: the preferred approach.
CoRR
Sergio Abriola, Santiago Cifuentes, Nina Pardal, Edwin Pin Baque
2023 J jnl
Measuring well quasi-ordered finitary powersets.
CoRR
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
2023 J jnl
On the Complexity of Finding Set Repairs for Data-Graphs.
J. Artif. Intell. Res.
Sergio Abriola, María Vanina Martínez, Nina Pardal, Santiago Cifuentes, Edwin Pin Baque
2022 J jnl
On the complexity of finding set repairs for data-graphs.
CoRR
Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin Baque
2021 J jnl
An epistemic approach to model uncertainty in data-graphs.
CoRR
Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin Baque
2021 C conf
Characterizations for XPath
WoLLIC
Nicolás González, Sergio Abriola
2018 J jnl
Bisimulations on Data Graphs.
J. Artif. Intell. Res.
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2017 J jnl
Axiomatizations for downward XPath on data trees.
J. Comput. Syst. Sci.
Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2017 B conf
Logics of Repeating Values on Data Trees and Branching Counter Systems.
FoSSaCS
Sergio Abriola, Diego Figueira, Santiago Figueira
2017 J jnl
Model theory of XPath on data trees. Part II: Binary bisimulation and definability.
Inf. Comput.
Sergio Abriola, María Emilia Descotte, Santiago Figueira
2016 J jnl
Axiomatizations for downward XPath on Data Trees.
CoRR
Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2016 A* conf
Bisimulations on Data Graphs.
KR
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2015 J jnl
Linearizing well quasi-orders and bounding the length of bad sequences.
Theor. Comput. Sci.
Sergio Abriola, Santiago Figueira, Gabriel Senno
2015 — conf
Saturation, Definability, and Separation for XPath on Data Trees.
AMW
Sergio Abriola, María Emilia Descotte, Santiago Figueira
2014 C conf
A note on the order type of minoring orderings and some algebraic properties of ω
CLEI
Sergio Abriola, Santiago Figueira
2014 C conf
Definability for Downward and Vertical XPath on Data Trees.
WoLLIC
Sergio Abriola, María Emilia Descotte, Santiago Figueira
2012 C conf
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders.
WoLLIC
Sergio Abriola, Santiago Figueira, Gabriel Senno