Javier Álvez

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 18

Top Topics

Knowledge Resources

Semantic Relatedness

Commonsense Reasoning

Top Venues

Publications

Iker García-Ferrero, Begoña Altuna, Javier Álvez, Itziar Gonzalez-Dios, German Rigau
This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models. EMNLP (2023)
Iker García-Ferrero, Begoña Altuna, Javier Álvez, Itziar Gonzalez-Dios, German Rigau
This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models. CoRR (2023)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Towards Effective Correction Methods Using WordNet Meronymy Relations. GWC (2023)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning. ECAI (2020)
Itziar Gonzalez-Dios, Javier Álvez, German Rigau
Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities. MMW@LREC (2020)
Itziar Gonzalez-Dios, Javier Álvez, German Rigau
Exploiting Metonymy from Available Knowledge Resources. CICLing (1) (2019)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis. GWC (2019)
Javier Álvez, Paqui Lucio, German Rigau
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet. IEEE Access 7 (2019)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Towards Word Sense Disambiguation by Reasoning. Vampire (2019)
Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
Automatic white-box testing of first-order logic ontologies. J. Log. Comput. 29 (5) (2019)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis. CoRR (2019)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Applying the Closed World Assumption to SUMO-based Ontologies. CoRR (2018)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Cross-checking WordNet and SUMO Using Meronymy. LREC (2018)
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Validating WordNet Meronymy Relations using Adimen-SUMO. CoRR (2018)
Javier Álvez, German Rigau
Towards Cross-checking WordNet and SUMO Using Meronymy. GWC (2018)
Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
Automatic White-Box Testing of First-Order Logic Ontologies. CoRR (2017)
Javier Álvez, Paqui Lucio, German Rigau
Black-box Testing of First-Order Logic Ontologies Using WordNet. CoRR (2017)
Javier Álvez, Paqui Lucio, German Rigau
Evaluating Automated Theorem Provers Using Adimen-SUMO. Vampire@IJCAR (2016)
Javier Álvez, Paqui Lucio, German Rigau
Evaluating the Competency of a First-Order Ontology. K-CAP (2015)
Javier Álvez, Paqui Lucio, German Rigau
Improving the Competency of First-Order Ontologies. CoRR (2015)
Javier Álvez, Paqui Lucio, German Rigau
Evaluating the Competency of a First-Order Ontology. CoRR (2015)
Javier Álvez, Paqui Lucio, German Rigau
Improving the Competency of First-Order Ontologies. K-CAP (2015)
Javier Álvez, Paqui Lucio, German Rigau
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. Int. J. Semantic Web Inf. Syst. 8 (4) (2012)
Javier Álvez, Francisco Javier López-Fraguas
A Complete Axiomatization of Strict Equality. FLOPS (2010)
Javier Álvez, Paqui Lucio
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electron. Notes Theor. Comput. Sci. 206 (2008)
Javier Álvez, Jordi Atserias, Jordi Carrera, Salvador Climent, Egoitz Laparra, Antoni Oliver, German Rigau
Complete and Consistent Annotation of WordNet using the Top Concept Ontology. LREC (2008)
Javier Álvez, Paqui Lucio
A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS (2008)
Javier Álvez, Paqui Lucio
Equational Constraint Solving Via a Restricted Form of Universal Quantification. FoIKS (2006)
Javier Álvez, Paqui Lucio
An Algorithm for Local Variable Elimination in Normal Logic Programs. LOPSTR (2005)
Javier Álvez, Paqui Lucio
Elimination of Local Variables from Definite Logic Programs. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Javier Álvez, Paqui Lucio, Fernando Orejas
Constructive negation by bottom-up computation of literal answers. SAC (2004)