Author of the publication

World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts.

, , , , and . JSAI-isAI Workshops, volume 8417 of Lecture Notes in Computer Science, page 42-50. Springer, (2013)

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

Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests., , , and . LREC, European Language Resources Association (ELRA), (2016)An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination., , , and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 82-89. Springer, (2016)The Complexity of Math Problems - Linguistic, or Computational?, , , and . IJCNLP, page 73-81. Asian Federation of Natural Language Processing / ACL, (2013)Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration., , and . ICKII, page 367-371. IEEE, (2023)CSCL Environment for Bilingual Deaf Education., , and . CATE, page 411-416. ACTA Press, (2004)World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts., , , , and . JSAI-isAI Workshops, volume 8417 of Lecture Notes in Computer Science, page 42-50. Springer, (2013)Mathematics by machine., , , and . ISSAC, page 1-8. ACM, (2014)The complexity of analytic tableaux., , and . STOC, page 356-363. ACM, (2001)Local Symmetries in Propositional Logic., and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 40-51. Springer, (2000)Relative efficency of propositional proof systems: resolution vs. cut-free LK.. Ann. Pure Appl. Log., 104 (1-3): 3-16 (2000)