articulos2019 Duplicado 6

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).