Javier Álvez

According to our database, Javier Álvez authored at least 26 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Effective Correction Methods Using WordNet Meronymy Relations.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the 12th Global Wordnet Conference, 2023

This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models.

Iker García-Ferrero, Begoña Altuna, Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2020

Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities.

Itziar Gonzalez-Dios, Javier Álvez, German Rigau

Proceedings of the LREC 2020 Workshop on Multimodal Wordnets, 2020

Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Automatic white-box testing of first-order logic ontologies.

Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau

J. Log. Comput., 2019

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet.

Javier Álvez, Paqui Lucio, German Rigau

IEEE Access, 2019

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the 10th Global Wordnet Conference, 2019

Towards Word Sense Disambiguation by Reasoning.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Exploiting Metonymy from Available Knowledge Resources.

Itziar Gonzalez-Dios, Javier Álvez, German Rigau

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2019

2018

Applying the Closed World Assumption to SUMO-based Ontologies.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

CoRR, 2018

Validating WordNet Meronymy Relations using Adimen-SUMO.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

CoRR, 2018

Towards Cross-checking WordNet and SUMO Using Meronymy.

Javier Álvez, German Rigau

Proceedings of the 9th Global Wordnet Conference, 2018

Cross-checking WordNet and SUMO Using Meronymy.

Javier Álvez, Itziar Gonzalez-Dios, German Rigau

Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

2017

Black-box Testing of First-Order Logic Ontologies Using WordNet.

Javier Álvez, Paqui Lucio, German Rigau

CoRR, 2017

2016

Evaluating Automated Theorem Provers Using Adimen-SUMO.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

2015

Evaluating the Competency of a First-Order Ontology.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the 8th International Conference on Knowledge Capture, 2015

Improving the Competency of First-Order Ontologies.

Javier Álvez, Paqui Lucio, German Rigau

Proceedings of the 8th International Conference on Knowledge Capture, 2015

2012

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning.

Javier Álvez, Paqui Lucio, German Rigau

Int. J. Semantic Web Inf. Syst., 2012

2010

A Complete Axiomatization of Strict Equality.

Javier Álvez, Francisco Javier López-Fraguas

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2008

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

Proceedings of the International Conference on Language Resources and Evaluation, 2008

A Generalization of the Folding Rule for the Clark-Kunen Semantics.

Javier Álvez, Paqui Lucio

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving.

Javier Álvez, Paqui Lucio

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

2006

Equational Constraint Solving Via a Restricted Form of Universal Quantification.

Javier Álvez, Paqui Lucio

Proceedings of the Foundations of Information and Knowledge Systems, 2006

2005

An Algorithm for Local Variable Elimination in Normal Logic Programs.

Javier Álvez, Paqui Lucio

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

Elimination of Local Variables from Definite Logic Programs.

Javier Álvez, Paqui Lucio

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Constructive negation by bottom-up computation of literal answers.

Javier Álvez, Paqui Lucio, Fernando Orejas

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004