( en | de | ru )

 

Disambiguierung von "Álvez, Javier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic white-box testing of first-order logic ontologies.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Verena Alvez Mesa

Javier Manero

Javier Dreyer

Javier Jáurequi

Javier Papa

 

Weitere Publikationen von Autoren mit dem selben Namen

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