DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; EDWIN PIN BAQUE

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Año: 2023; p. 1 - 13

DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; EDWIN PIN BAQUE

Finite Controllability for Ontology-Mediated Query Answering of CRPQ

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Año: 2020; p. 381 - 391

MARÍA EMILIA DESCOTTE; DIEGO FIGUEIRA; FIGUEIRA, SANTIAGO

Closure properties of synchronized relations

Proceedings of STACS 2019

Año: 2019; p. 1 - 17

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

Bisimulations on Data Graphs

Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference

Lugar: Palo Alto, California; Año: 2016; p. 309 - 318

DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; CARLOS ARECES

Basic Model Theory of XPath on Data Trees

Database Theory - ICDT

Año: 2014; p. 50 - 60

DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; SYLVAIN SCHMITZ; PHILIPPE SCHNOEBELEN

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science

Año: 2011; p. 269 - 278

SANTIAGO FIGUEIRA; DANIEL GORÍN

On the Size of Shortest Modal Descriptions

Advances in Modal Logic

Año: 2010; p. 120 - 139