Publications


2022

  1. Diego Figueira, Anthony Lin. Reasoning on Data Words over Numeric Domains. Annual Symposium on Logic in Computer Science (LICS), Aug 2022, Haifa, Israel. 〈hal〉.
  2. Diego Figueira, Artur Jeż, Anthony W Lin. Data Path Queries over Embedded Graph Databases. Symposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States. 〈hal〉.
  3. Diego Figueira, Varun Ramanathan. When is the Evaluation of Extended CRPQ Tractable?. Symposium on Principles of Database Systems (PODS), Jun 2022, Philidelphia, United States. 〈hal〉.

2020

  1. Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris. Semantic Optimization of Conjunctive Queries. Journal of the ACM (JACM), Association for Computing Machinery, 2020, 67 (6:34), ⟨10.1145/3424908⟩. 〈hal〉.
  2. Diego Figueira, Santiago Figueira, Edwin Pin Baque. Finite Controllability for Ontology-Mediated Query Answering of CRPQ. International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece. 〈hal〉.
  3. Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner. Containment of Simple Regular Path Queries. International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece. 〈hal〉.
  4. Diego Figueira. Containment of UC2RPQ: the hard and easy cases. International Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩. 〈hal〉.

2019

  1. Amélie Gheerbrant, Cristina Sirangelo. Best Answers over Incomplete Data : Complexity and First-Order Rewritings. the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. 〈hal〉.
  2. Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩. 〈hal〉.