Skip to content

International Research Project SINFIN

  • Home
  • History
  • Co-publications
  • Bilateral projects
  • Members
    • Members and teams
    • Former PhD Students
  • Research

Paper accepted at KR 2020

Posted on June 15, 2020June 15, 2020Author Editorial teamCategories Uncategorized

Diego Figueira, Santiago Figueira, and Edwin Pin Baque got their paper Finite Controllability for Ontology-Mediated Query Answering of CRPQ accepted at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR’2020), to be held at Rhodes, Greece, on September 12-18, 2020.

Post navigation

Previous Previous post: Special Issue of Discrete Applied Mathematics
Next Next post: MathAmSud STALGRAPH Workshop – 26-Nov-2020

Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages


Sistemas, lógIca, leNguajes,
Fundamentos de la computacIón, verificacióN

International Research Project

Recent Posts

  • Verónica Becher participated of the International Conference on “Prime numbers and arithmetic randomness”.
  • Mélodie Andrieu visits Buenos Aires, July 2025
  • Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
  • Santiago Figueira visits LaBRI, July 2025
  • Raul Fervari is visiting LMF, September-December 2025

Archives