Author of the publication

Progress in Automating Higher-Order Ontology Reasoning.

, and . PAAR@IJCAR, volume 9 of EPiC Series in Computing, page 22-32. EasyChair, (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

Large theory reasoning with SUMO at CASC., , , and . AI Commun., 23 (2-3): 137-144 (2010)Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project., , , and . KR, page 717-724. Morgan Kaufmann, (2000)The DARPA High-Performance Knowledge Bases Project., , , , , , , and . AI Magazine, 19 (4): 25-49 (1998)Reasoning from imperfect knowledge., and . Cognitive Systems Research, (2017)IEEE standard upper ontology: a progress report., and . Knowledge Eng. Review, 17 (1): 65-70 (2002)Linking FrameNet to the Suggested Upper Merged Ontology., , and . FOIS, volume 150 of Frontiers in Artificial Intelligence and Applications, page 289-300. IOS Press, (2006)Higher-order aspects and context in SUMO., and . J. Web Semant., (2012)A Call for Executable Linguistics Research.. PACLIC, page 58-64. De La Salle University (DLSU), Manila, Philippines, (2008)Building a WordNet for Arabic., , , , , , and . LREC, page 29-34. European Language Resources Association (ELRA), (2006)Integration of the TPTPWorld into SigmaKEE., , and . PAAR/ESHOL, volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)