2019
-
Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau. Automatic white-box testing of first-order logic ontologies. Journal of Logic and Computation, Volume 29, Issue 5:723–751.
-
Javier Álvez, Paqui Lucio, German Rigau. A Framework for the Evaluation of SUMO-based Ontologies Using WordNet. IEEE Access, Volume 7: 36075-36093.
-
Alex Abuin, Alexander Bolotov, Unai Diaz de Cerio, Montserrat Hermo, Paqui Lucio. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Leibniz International Proceedings in Informatics (LIPIcs), Volume 147.
-
Alex Abuin, Alexander Bolotov, Unai Diaz de Cerio, Montserrat Hermo, Paqui Lucio. Using Contexts in Tableaux for PLTL: An illustrative Example. Proceedings of Automated Reasoning Workshop 2019, London, 2th - 3th September 2019.
-
Itziar Gonzalez-Dios, Javier Álvez, German Rigau. Exploiting Metonymy from Available Knowledge Resources. Proceedings of the 20th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2019).
-
Itziar Gonzalez-Dios, Javier Álvez, German Rigau. Common-sense Reasoning Using WordNet and SUMO: a Detailed Analysis. Proceedings of the 10th Global WordNet Conference (GWC 2019).
-
Elvira Pino, Marisa Navarro, Fernando Orejas. Incremental Concurrent Synchronization with Conflict Resolution. Actas de las XIX Jornadas sobre Programación y Lenguajes (PROLE 2019).
-
Alexander Bolotov, Montserrat Hermo, Paqui Lucio. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Extended Abstract). Actas de las XIX Jornadas sobre Programación y Lenguajes (PROLE 2019).