SCHITTER, TOMÁS; ABRIOLA, SERGIO; GONZÁLEZ, NICOLÁS

A note on busy beaver bounds

THEORETICAL COMPUTER SCIENCE; Año: 2025 vol. 1057

ABRIOLA, SERGIO; FIGUEIRA, SANTIAGO; GONZÁLEZ, NICOLÁS

Axiomatization of XPath with general data comparison

JOURNAL OF APPLIED NON-CLASSICAL LOGICS; Año: 2024 p. 1 - 20

SERGIO, ABRIOLA; SANTIAGO, CIFUENTES; VANINA, MARTINEZ MARIA; NINA, PARDAL; EDWIN, PIN

An epistemic approach to model uncertainty in data-graphs

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING; Año: 2023

ABRIOLA, SERGIO; MARÍA VANINA MARTINEZ; PARDAL, NINA; CIFUENTES, SANTIAGO; EDWIN, PIN

On the complexity of finding set repairs for data-graphs

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, THE; Año: 2022

ABRIOLA, SERGIO; TANO, PABLO; ROMANO, SERGIO; FIGUEIRA, SANTIAGO

A logical framework to study concept-learning biases in the presence of multiple explanations

Behavior Research Methods; Año: 2021

GONZÁLEZ, NICOLÁS; ABRIOLA, SERGIO

Characterizations for XPath_R(↓)

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2021 p. 319 - 336

SERGIO ABRIOLA; PABLO BARCELÓ; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA

Bisimulations on Data Graphs

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, THE; Año: 2018 vol. 61 p. 171 - 213

SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA

Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability

Information and Computation; Lugar: Amsterdam; Año: 2017

SERGIO ABRIOLA; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA

Logics of repeating values on data trees and branching counter systems

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017

SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; RAUL FERVARI; SANTIAGO FIGUEIRA

Axiomatizations for downward XPath on Data Trees

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Lugar: Amsterdam; Año: 2017

SERGIO ABRIOLA; GABRIEL SENNO; SANTIAGO FIGUEIRA

Linearizing well-quasi orders and bounding the length of bad sequences

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2015 vol. 603 p. 3 - 22

SERGIO ABRIOLA; SANTIAGO FIGUEIRA; MARIA EMILIA DESCOTTE

Definability for Downward and Vertical XPath on Data Trees

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014

SERGIO ABRIOLA; SANTIAGO FIGUEIRA; GABRIEL SENNO

Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2012 vol. 7456 p. 110 - 126