| Complete and Consistent Annotation of WordNet using the Top Concept Ontology. J Alvez, J Atserias, J Carrera, S Climent, E Laparra, A Oliver, G Rigau LREC, 2008 | 60 | 2008 |
| Adimen-SUMO: Reengineering an ontology for first-order reasoning J Álvez, P Lucio, G Rigau International Journal on Semantic Web and Information Systems (IJSWIS) 8 (4 …, 2012 | 46 | 2012 |
| Consistent annotation of eurowordnet with the top concept ontology J Álvez, J Atserias, J Carrera, S Climent, A Oliver González, G Rigau Proceedings of the 4th Global WordNet Conference, 2008 | 43 | 2008 |
| Constructive negation by bottom-up computation of literal answers J Alvez, P Lucio, F Orejas Proceedings of the 2004 ACM symposium on Applied computing, 1468-1475, 2004 | 18 | 2004 |
| Cross-checking WordNet and SUMO using meronymy J Alvez, I Gonzalez-Dios, G Rigau Proceedings of the Eleventh International Conference on Language Resources …, 2018 | 13 | 2018 |
| Black-box testing of first-order logic ontologies using WordNet J Álvez, P Lucio, G Rigau arXiv preprint arXiv:1705.10217, 2017 | 13 | 2017 |
| Improving the competency of first-order ontologies J Álvez, P Lucio, G Rigau Proceedings of the 8th International Conference on Knowledge Capture, 1-8, 2015 | 13 | 2015 |
| This is not a dataset: A large negation benchmark to challenge large language models I García-Ferrero, B Altuna, J Álvez, I Gonzalez-Dios, G Rigau arXiv preprint arXiv:2310.15941, 2023 | 12 | 2023 |
| A framework for the evaluation of SUMO-based ontologies using WordNet J Álvez, P Lucio, G Rigau IEEE Access 7, 36075-36093, 2019 | 9 | 2019 |
| Automatic white-box testing of first-order logic ontologies J Álvez, M Hermo, P Lucio, G Rigau Journal of Logic and Computation 29 (5), 723-751, 2019 | 8 | 2019 |
| Towards cross-checking WordNet and SUMO using meronymy J Alvez, G Rigau Proceedings of the 9th Global Wordnet Conference, 25-33, 2018 | 7 | 2018 |
| Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis J Álvez, I Gonzalez-Dios, G Rigau arXiv preprint arXiv:1909.02314, 2019 | 6 | 2019 |
| Evaluating Automated Theorem Provers Using Adimen-SUMO. J Alvez, P Lucio, G Rigau, L Kovács, A Voronkov Vampire@ IJCAR, 74-82, 2016 | 5 | 2016 |
| Applying the closed world assumption to SUMO-based FOL ontologies for effective commonsense reasoning J Alvez, I Gonzalez-Dios, G Rigau ECAI 2020, 585-592, 2020 | 4 | 2020 |
| Elimination of Local Variables from Definite Logic Programs J Álvez, P Lucio Electronic Notes in Theoretical Computer Science 137 (1), 5-24, 2005 | 3 | 2005 |
| Exploiting metonymy from available knowledge resources I Gonzalez-Dios, J Álvez, G Rigau International Conference on Computational Linguistics and Intelligent Text …, 2019 | 2 | 2019 |
| Applying the Closed World Assumption to SUMO-based ontologies J Álvez, I Gonzalez-Dios, G Rigau CoRR, abs/1808.04620, 2018 | 2 | 2018 |
| Validating WordNet meronymy relations using Adimen-SUMO J Álvez, I Gonzalez-Dios, G Rigau arXiv preprint arXiv:1805.07824, 2018 | 2 | 2018 |
| Evaluating the Competency of a First-Order Ontology J Álvez, P Lucio, G Rigau Proceedings of the 8th International Conference on Knowledge Capture, 1-4, 2015 | 2 | 2015 |
| Equational constraint solving via a restricted form of universal quantification J Álvez, P Lucio Foundations of Information and Knowledge Systems: 4th International …, 2006 | 2 | 2006 |
German Rigau (ORCID:0000-0003-11...Deputy Director of HiTZ, IXA Research Group, Associate professor, University of the Basque CountryAdresse e-mail validée de ehu.es
