( en | de | ru )

 

Disambiguierung von "Álvez, Javier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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 Dreyer

Javier Manero

Javier Jáurequi

Javier Papa

 

Weitere Publikationen von Autoren mit dem selben Namen

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning., , und . Int. J. Semantic Web Inf. Syst., 8 (4): 80-116 (2012)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)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)Evaluating the Competency of a First-Order Ontology., , und . K-CAP, Seite 28:1-28:4. ACM, (2015)Constructive negation by bottom-up computation of literal answers., , und . SAC, Seite 1468-1475. ACM, (2004)Black-box Testing of First-Order Logic Ontologies Using WordNet., , und . CoRR, (2017)