Search Results - "Abriola, Sergio"

Axiomatization of XPath with general data comparison by Abriola, Sergio, Figueira, Santiago, González, Nicolás

Get full text

A logical framework to study concept-learning biases in the presence of multiple explanations by Abriola, Sergio, Tano, Pablo, Romano, Sergio, Figueira, Santiago

“…When people seek to understand concepts from an incomplete set of examples and counterexamples, there is usually an exponentially large number of…”
Get full text

An epistemic approach to model uncertainty in data-graphs by Abriola, Sergio, Cifuentes, Santiago, Martinez, Maria Vanina, Pardal, Nina, Pin, Edwin

“…Graph databases are becoming widely successful as data models that allow to effectively represent and process complex relationships among various types of…”
Get full text

Bisimulations on Data Graphs by Abriola, Sergio, Barceló, Pablo, Figueira, Diego, Figueira, Santiago

“…Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental…”
Get full text

Linearizing well quasi-orders and bounding the length of bad sequences by Abriola, Sergio, Figueira, Santiago, Senno, Gabriel

“…We study the length functions of controlled bad sequences over some well quasi-orders (wqo's) and classify them in the Fast Growing Hierarchy. We develop a new…”
Get full text

On the Complexity of Finding Set Repairs for Data-Graphs by Abriola, Sergio, Martínez, María Vanina, Pardal, Nina, Cifuentes, Santiago, Pin Baque, Edwin

“…In the deeply interconnected world we live in, pieces of information link domains all around us. As graph databases embrace effectively relationships among…”
Get full text

Model theory of XPath on data trees. Part II: Binary bisimulation and definability by Abriola, Sergio, Descotte, María Emilia, Figueira, Santiago

“…We study the expressive power of the downward and vertical fragments of XPath equipped with (in)equality tests over possibly infinite data trees. We introduce…”
Get full text

Axiomatizations for downward XPath on data trees by Abriola, Sergio, Descotte, María Emilia, Fervari, Raul, Figueira, Santiago

“…We give sound and complete axiomatizations for XPath with data tests by ‘equality’ or ‘inequality’, and containing the single ‘child’ axis. This data-aware…”
Get full text

Data-graph repairs: the preferred approach by Abriola, Sergio, Cifuentes, Santiago, Pardal, Nina, Pin, Edwin

“…Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023) Repairing inconsistent knowledge bases is a task…”
Get full text

Computational Complexity of Preferred Subset Repairs on Data-Graphs by Pardal, Nina, Cifuentes, Santiago, Pin, Edwin, Martinez, Maria Vanina, Abriola, Sergio

“…Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that…”
Get full text

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning by Cifuentes, Santiago, Bertossi, Leopoldo, Pardal, Nina, Abriola, Sergio, Martinez, Maria Vanina, Romero, Miguel

“…Attribution scores reflect how important the feature values in an input entity are for the output of a machine learning model. One of the most popular…”
Get full text

Measuring well quasi-ordered finitary powersets by Abriola, Sergio, Halfon, Simon, Lopez, Aliaume, Schmitz, Sylvain, Schnoebelen, Philippe, Vialard, Isa

“…The complexity of a well-quasi-order (wqo) can be measured through three ordinal invariants: the width as a measure of antichains, height as a measure of…”
Get full text

An epistemic approach to model uncertainty in data-graphs by Abriola, Sergio, Cifuentes, Santiago, Martínez, María Vanina, Pardal, Nina, Pin, Edwin

“…Graph databases are becoming widely successful as data models that allow to effectively represent and process complex relationships among various types of…”
Get full text

On the complexity of finding set repairs for data-graphs by Abriola, Sergio, Cifuentes, Santiago, Martínez, María Vanina, Pardal, Nina, Pin, Edwin

“…In the deeply interconnected world we live in, pieces of information link domains all around us. As graph databases embrace effectively relationships among…”
Get full text

A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings by Abriola, Sergio, Figueira, Santiago

“…The minoring ordering between finite sets of (X,≤) is a well quasi-ordering provided (X,≤) is an ω 2 -well quasi-ordering. We mention some known facts about ω…”
Get full text

Axiomatizations for downward XPath on Data Trees by Abriola, Sergio, Descotte, María Emilia, Fervari, Raul, Figueira, Santiago

“…We give sound and complete axiomatizations for XPath with data tests by "equality" or "inequality", and containing the single "child" axis. This data-aware…”
Get full text