Javier Álvez

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