Constructive negation by bottom-up computation of literal answers. - Javier Álvez; Paqui Lucio; Fernando Orejas (SAC, 2004)

Elimination of Local Variables from Definite Logic Programs. - Javier Álvez; Paqui Lucio (PROLE, 2004)

An Algorithm for Local Variable Elimination in Normal Logic Programs. - Javier Álvez; Paqui Lucio (LOPSTR, 2005)

Equational Constraint Solving Via a Restricted Form of Universal Quantification. - Javier Álvez; Paqui Lucio (FoIKS, 2006)

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. - Javier Álvez; Paqui Lucio (PROLE, 2007)

A Generalization of the Folding Rule for the Clark-Kunen Semantics. - Javier Álvez; Paqui Lucio (FLOPS, 2008)

Complete and Consistent Annotation of WordNet using the Top Concept Ontology. - Javier Álvez; Jordi Atserias; Jordi Carrera; Salvador Climent 001; Egoitz Laparra; Antoni Oliver 001; German Rigau (LREC, 2008)

A Complete Axiomatization of Strict Equality. - Javier Álvez; Francisco Javier López-Fraguas (FLOPS, 2010)

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. - Javier Álvez; Paqui Lucio; German Rigau (Int. J. Semantic Web Inf. Syst., 2012)

Improving the Competency of First-Order Ontologies. - Javier Álvez; Paqui Lucio; German Rigau (K-CAP, 2015)

Evaluating the Competency of a First-Order Ontology. - Javier Álvez; Paqui Lucio; German Rigau (K-CAP, 2015)

Evaluating Automated Theorem Provers Using Adimen-SUMO. - Javier Álvez; Paqui Lucio; German Rigau (Vampire@IJCAR, 2016)

Black-box Testing of First-Order Logic Ontologies Using WordNet. - Javier Álvez; Paqui Lucio; German Rigau (CoRR, 2017)

Cross-checking WordNet and SUMO Using Meronymy. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (LREC, 2018)

Towards Cross-checking WordNet and SUMO Using Meronymy. - Javier Álvez; German Rigau (GWC, 2018)

Validating WordNet Meronymy Relations using Adimen-SUMO. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (CoRR, 2018)

Applying the Closed World Assumption to SUMO-based Ontologies. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (CoRR, 2018)

Exploiting Metonymy from Available Knowledge Resources. - Itziar Gonzalez-Dios; Javier Álvez; German Rigau (CICLing (1), 2019)

Towards Word Sense Disambiguation by Reasoning. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (Vampire, 2019)

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (GWC, 2019)

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet. - Javier Álvez; Paqui Lucio; German Rigau (IEEE Access, 2019)

Automatic white-box testing of first-order logic ontologies. - Javier Álvez; Montserrat Hermo; Paqui Lucio; German Rigau (J. Log. Comput., 2019)

Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (ECAI, 2020)

Towards modelling SUMO attributes through WordNet adjectives: a Case Study on Qualities. - Itziar Gonzalez-Dios; Javier Álvez; German Rigau (MMW@LREC, 2020)

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 (EMNLP, 2023)

Towards Effective Correction Methods Using WordNet Meronymy Relations. - Javier Álvez; Itziar Gonzalez-Dios; German Rigau (GWC, 2023)