Javier Álvez, Itziar Gonzalez-Dios, Paqui Lucio, German Rigau. Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning. ECAI 2020: 585-592.

Itziar Gonzalez-Dios, Javier Álvez, German Rigau. Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities. MMW@LREC 2020: 1-6.

Fernando Orejas, Elvira Pino, Marisa Navarro. Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE 2020: 273-293.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio. One-Pass Context-Based Tableaux Systems for CTL and ECTL. TIME 2020: 14:1-14:20.

Alexander Bolotov, Montserrat Hermo, Paqui Lucio. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theoretical Computer Science. 813: 428-45.

Montserrat Hermo, Ana Ozaki. Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computatioal Theory 12(1): 4:1-4:25.