( en | de | ru )

 

Disambiguierung von "Álvez, Javier"

Autor der Publikation

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

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 Jáurequi

Javier Dreyer

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)Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis., , und . GWC, Seite 197-205. Global Wordnet Association, (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)A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet., , und . IEEE Access, (2019)A Complete Axiomatization of Strict Equality., und . FLOPS, Volume 6009 von Lecture Notes in Computer Science, Seite 118-133. Springer, (2010)Complete and Consistent Annotation of WordNet using the Top Concept Ontology., , , , , , und . LREC, European Language Resources Association, (2008)Cross-checking WordNet and SUMO Using Meronymy., , und . LREC, European Language Resources Association (ELRA), (2018)Towards Effective Correction Methods Using WordNet Meronymy Relations., , und . GWC, Seite 31-40. Global Wordnet Association, (2023)Equational Constraint Solving Via a Restricted Form of Universal Quantification., und . FoIKS, Volume 3861 von Lecture Notes in Computer Science, Seite 2-21. Springer, (2006)