Author of the publication

A Complete Axiomatization of Strict Equality.

, and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 118-133. Springer, (2010)

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.

 

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)Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis., , and . CoRR, (2019)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)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)Complete and Consistent Annotation of WordNet using the Top Concept Ontology., , , , , , and . LREC, European Language Resources Association, (2008)Cross-checking WordNet and SUMO Using Meronymy., , and . LREC, European Language Resources Association (ELRA), (2018)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)Elimination of Local Variables from Definite Logic Programs., and . Electron. Notes Theor. Comput. Sci., 137 (1): 5-24 (2005)