Sergio Abriola

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 18

Top Topics

Arbitrary Length

Finite Alphabet

Top Venues

J. Artif. Intell. Res.

Publications

Nina Pardal, Santiago Cifuentes, Edwin Pin, Maria Vanina Martinez, Sergio Abriola
Computational Complexity of Preferred Subset Repairs on Data-Graphs. CoRR (2024)
Santiago Cifuentes, Leopoldo Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero
The Distributional Uncertainty of the SHAP score in Explainable Machine Learning. CoRR (2024)
Sergio Abriola, María Vanina Martínez, Nina Pardal, Santiago Cifuentes, Edwin Pin Baque
On the Complexity of Finding Set Repairs for Data-Graphs. J. Artif. Intell. Res. 76 (2023)
Sergio Abriola, Santiago Cifuentes, Nina Pardal, Edwin Pin Baque
Data-graph repairs: the preferred approach. AMW (2023)
Sergio Abriola, Santiago Cifuentes, Maria Vanina Martinez, Nina Pardal, Edwin Pin
An epistemic approach to model uncertainty in data-graphs. Int. J. Approx. Reason. 160 (2023)
Sergio Abriola, Santiago Cifuentes, Nina Pardal, Edwin Pin Baque
Data-graph repairs: the preferred approach. CoRR (2023)
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
Measuring well quasi-ordered finitary powersets. CoRR (2023)
Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin
On the complexity of finding set repairs for data-graphs. CoRR (2022)
Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin
An epistemic approach to model uncertainty in data-graphs. CoRR (2021)
Nicolás González, Sergio Abriola
(đownarrow ). WoLLIC (2021)
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
Bisimulations on Data Graphs. J. Artif. Intell. Res. 61 (2018)
Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
Axiomatizations for downward XPath on data trees. J. Comput. Syst. Sci. 89 (2017)
Sergio Abriola, María Emilia Descotte, Santiago Figueira
Model theory of XPath on data trees. Part II: Binary bisimulation and definability. Inf. Comput. 255 (2017)
Sergio Abriola, Diego Figueira, Santiago Figueira
Logics of Repeating Values on Data Trees and Branching Counter Systems. FoSSaCS (2017)
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
Bisimulations on Data Graphs. KR (2016)
Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
Axiomatizations for downward XPath on Data Trees. CoRR (2016)
Sergio Abriola, María Emilia Descotte, Santiago Figueira
Saturation, Definability, and Separation for XPath on Data Trees. AMW (2015)
Sergio Abriola, Santiago Figueira, Gabriel Senno
Linearizing well quasi-orders and bounding the length of bad sequences. Theor. Comput. Sci. 603 (2015)
Sergio Abriola, María Emilia Descotte, Santiago Figueira
Definability for Downward and Vertical XPath on Data Trees. WoLLIC (2014)
Sergio Abriola, Santiago Figueira
-well quasi-orderings. CLEI (2014)
Sergio Abriola, Santiago Figueira, Gabriel Senno
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. WoLLIC (2012)