|
Selected publications on Todai Robot Project:
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, Ryoya Fukasaku, Hidenao Iwane and Yosuke Sato, The International Symposium on Symbolic and Algebraic Computation (ISSAC2015), 173-180, July 2015
The impact of A.I. – Can a robot get into The University of Tokyo?, Noriko H. Arai, National Science Review, 2(2), 135-136, June 2015
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems, Ryoya Fukasaku, Hidenao Iwane and Yosuke Sato, The International Symposium on Symbolic and Algebraic Computation (ISSAC2015), 173-180, July 2015
The impact of A.I. – Can a robot get into The University of Tokyo?, Noriko H. Arai, National Science Review, 2(2), 135-136, June 2015
The impact of A.I. on education - Can a robot get into the University of Tokyo?, Noriko H. Arai and Takuya Matsuzaki, The Proceedings of The 22nd International Conference on Computers in Education, 1034-1042, Dec 2014
Overview of the NTCIR-11 QA-Lab Task, Hideyuki Shibuki, Kotaro Sakamoto, Yoshinobu Kano, Teruko Mitamura, Madoka Ishioroshi, Kelly Y. Itakura, Di Wang, Tatsunori Mori and Noriko Kando, Proceedings of the 11th NTCIR Conference, Dec 2014.
Overview of the NTCIR-11 Recognizing Inference in TExt and Validation (RITE-VAL) Task, Suguru Matsuyoshi, Yusuke Miyao, Tomohide Shibata, Chuan-Jie Lin, Cheng-Wei Shih, Yotaro Watanabe and Teruko Mitamura, Proceedings of the 11th NTCIR Conference, Dec 2014.
World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts, Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, and Noriko Arai, New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops), Lecture Notes in Computer Science 8417, 42-50, Springer, November 2014.
World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts, Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, and Noriko Arai, New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops), Lecture Notes in Computer Science 8417, 42-50, Springer, November 2014.
Mathematics by Machine, Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane and Hirokazu Anai, Proceedings of 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), 1-8, July 2014.
The most uncreative examinee: a first step toward wide coverage natural language math problem solving, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai and Noriko H. Arai, Proceedings of 28th Conference on Artificial Intelligence (AAAI 2014), 1098-1104, July 2014.
Logical Inference on Dependency-based Compositional Semantics, Ran Tian, Yusuke Miyao and Takuya Matsuzaki, Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (ACL-2014), June 2014.
Overview of Todai Robot Project and Evaluation Framework of its NLP-based Problem Solving, Akira Fujita, Akihiro Kameda, Ai Kawazoe and Yusuke Miyao, Proceedings of LREC2014, May 2014.
The Complexity of Math Problems -- Linguistic, or Computational?, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai and Noriko Arai, Proceedings of the 6th International Joint Conference on Natural Language Processing, 73-81, Oct 2013.
University Entrance Examinations as a Benchmark Resource for NLP-based Problem Solving, Yusuke Miyao and Ai Kawazoe, Proceedings of IJCNLP 2013, Oct 2013.
Integrating Multiple Dependency Corpora for Inducing Wide-coverage Japanese CCG Resources, Sumire Uematsu,Takuya Matsuzaki,Hiroki Hanaoka,Yusuke Miyao and Hideki Mima, Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, ACL 2013, August 2013.