PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Álvez, Javier"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic White-Box Testing of First-Order Logic Ontologies.

, , , and . CoRR, (2017)

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.

Javier Aguilar Romero University of Stuttgart

Andres Javier Zeller University of Stuttgart

Javier Andres Carrillo Delcorto University of Stuttgart

 

Other publications of authors with the same name

Automatic White-Box Testing of First-Order Logic Ontologies., , , and . CoRR, (2017)Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning., , and . Int. J. Semantic Web Inf. Syst., 8 (4): 80-116 (2012)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)Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis., , and . CoRR, (2019)A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet., , and . IEEE Access, (2019)A Complete Axiomatization of Strict Equality., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 118-133. Springer, (2010)Equational Constraint Solving Via a Restricted Form of Universal Quantification., and . FoIKS, volume 3861 of Lecture Notes in Computer Science, page 2-21. Springer, (2006)Cross-checking WordNet and SUMO Using Meronymy., , and . LREC, European Language Resources Association (ELRA), (2018)Complete and Consistent Annotation of WordNet using the Top Concept Ontology., , , , , , and . LREC, European Language Resources Association, (2008)Elimination of Local Variables from Definite Logic Programs., and . Electron. Notes Theor. Comput. Sci., 137 (1): 5-24 (2005)