| 2023 | EMNLP | This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models. | Iker Garca-Ferrero, Begoa Altuna, Javier lvez, Itziar Gonzalez-Dios, German Rigau |
| 2020 | ECAI | Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning. | Javier lvez, Itziar Gonzalez-Dios, German Rigau |
| 2020 | LREC | Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities. | Itziar Gonzalez-Dios, Javier lvez, German Rigau |
| 2019 | CICLING | Exploiting Metonymy from Available Knowledge Resources. | Itziar Gonzalez-Dios, Javier lvez, German Rigau |
| 2018 | LREC | Cross-checking WordNet and SUMO Using Meronymy. | Javier lvez, Itziar Gonzalez-Dios, German Rigau |
| 2016 | CADE | Evaluating Automated Theorem Provers Using Adimen-SUMO. | Javier lvez, Paqui Lucio, German Rigau |
| 2010 | FLOPS | A Complete Axiomatization of Strict Equality. | Javier lvez, Francisco Javier Lpez-Fraguas |
| 2008 | FLOPS | A Generalization of the Folding Rule for the Clark-Kunen Semantics. | Javier lvez, Paqui Lucio |
| 2008 | LREC | Complete and Consistent Annotation of WordNet using the Top Concept Ontology. | Javier lvez, Jordi Atserias, Jordi Carrera, Salvador Climent, Egoitz Laparra, Antoni Oliver, German Rigau |
| 2005 | LOPSTR | An Algorithm for Local Variable Elimination in Normal Logic Programs. | Javier lvez, Paqui Lucio |
| 2004 | SAC | Constructive negation by bottom-up computation of literal answers. | Javier lvez, Paqui Lucio, Fernando Orejas |