( en | de | ru )

 

Disambiguation of "Álvez, Javier"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic white-box testing of first-order logic ontologies.

, , , and . J. Log. Comput., 29 (5): 723-751 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Verena Alvez Mesa

Javier Manero

Javier Jáurequi

Javier Dreyer

Javier Papa

 

Other publications of authors with the same name

A Generalization of the Folding Rule for the Clark-Kunen Semantics., and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 180-194. Springer, (2008)Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning., , and . Int. J. Semantic Web Inf. Syst., 8 (4): 80-116 (2012)Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis., , and . GWC, page 197-205. Global Wordnet Association, (2019)Automatic White-Box Testing of First-Order Logic Ontologies., , , and . CoRR, (2017)Automatic white-box testing of first-order logic ontologies., , , and . J. Log. Comput., 29 (5): 723-751 (2019)Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning., , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 585-592. IOS Press, (2020)This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models., , , , and . EMNLP, page 8596-8615. Association for Computational Linguistics, (2023)Black-box Testing of First-Order Logic Ontologies Using WordNet., , and . CoRR, (2017)Constructive negation by bottom-up computation of literal answers., , and . SAC, page 1468-1475. ACM, (2004)Evaluating the Competency of a First-Order Ontology., , and . K-CAP, page 28:1-28:4. ACM, (2015)