A Proper Hierarchy of Propositional Sequent Calculi. - Noriko H. Arai (Theor. Comput. Sci., 1996)

Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. - Noriko H. Arai (Theor. Comput. Sci., 1996)

Local Symmetries in Propositional Logic. - Noriko H. Arai; Alasdair Urquhart (TABLEAUX, 2000)

Relative efficency of propositional proof systems: resolution vs. cut-free LK. - Noriko H. Arai (Ann. Pure Appl. Log., 2000)

No feasible monotone interpolation for simple combinatorial reasoning. - Noriko H. Arai (Theor. Comput. Sci., 2000)

Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. - Noriko H. Arai (Theor. Comput. Sci., 2000)

CSCL Environment for Bilingual Deaf Education. - Noriko H. Arai; Toru Takahashi 008; Yasuhiro Katagiri (CATE, 2004)

Social Summarization for Semantic Society. - Yasuhiro Katagiri; Toru Takahashi 008; Noriko H. Arai (JSAI Workshops, 2004)

Creating a Virtual Space for Child-Rearing with IT Beginners. - Noriko H. Arai; Chimako Hiratsuka (IMSA, 2005)

Designing Collaborative Learning Environment for Advanced Math. - Noriko H. Arai; Kayo Kawamoto (IMSA, 2005)

TelMeA - Expressive avatars in asynchronous communications. - Toru Takahashi 008; Christoph Bartneck; Yasuhiro Katagiri; Noriko H. Arai (Int. J. Hum. Comput. Stud., 2005)

The complexity of analytic tableaux. - Noriko H. Arai; Toniann Pitassi; Alasdair Urquhart (J. Symb. Log., 2006)

Evaluation of Logical Thinking Ability through Contributions in a Learning Community. - Kayo Kawamoto; Noriko H. Arai (LKR, 2008)

The Complexity of Math Problems - Linguistic, or Computational? - Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (IJCNLP, 2013)

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; Noriko H. Arai (JSAI-isAI Workshops, 2013)

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. - Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (AAAI, 2014)

Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing. - Akira Fujita; Masayuki Suzuki; Noriko H. Arai (CogSci, 2014)

The impact of A.I. on education - Can a robot get into The University of Tokyo? - Noriko H. Arai; Takuya Matsuzaki (ICCE, 2014)

Mathematics by machine. - Noriko H. Arai; Takuya Matsuzaki; Hidenao Iwane; Hirokazu Anai (ISSAC, 2014)

Evaluating Machine Translation Systems with Second Language Proficiency Tests. - Takuya Matsuzaki; Akira Fujita; Naoya Todo; Noriko H. Arai (ACL (2), 2015)

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (IJCAR, 2016)

An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans. - Takuya Matsuzaki; Munehiro Kobayashi; Noriko H. Arai (CogSci, 2016)

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. - Yumi Wada; Takuya Matsuzaki; Akira Terui; Noriko H. Arai (ICMS, 2016)

Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests. - Takuya Matsuzaki; Akira Fujita; Naoya Todo; Noriko H. Arai (LREC, 2016)

Development of a Reading Skill Test to Measure Basic Language Skills. - Akira Fujita; Naoya Todo; Shingo Sugawara; Kyo Kageura; Noriko H. Arai (T4E, 2016)

Semantic Parsing of Pre-university Math Problems. - Takuya Matsuzaki; Takumi Ito; Hidenao Iwane; Hirokazu Anai; Noriko H. Arai (ACL (1), 2017)

Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines. - Noriko H. Arai; Naoya Todo; Teiko Arai; Kyosuke Bunji; Shingo Sugawara; Miwa Inuzuka; Takuya Matsuzaki; Koken Ozaki (CogSci, 2017)

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. - Takuya Matsuzaki; Hidenao Iwane; Munehiro Kobayashi; Yiyang Zhan; Ryoya Fukasaku; Jumma Kudo; Hirokazu Anai; Noriko H. Arai (AI Commun., 2018)

Large-Scale Survey of Students' Skills in Reading Math Definitions. - Naoya Todo; Noriko H. Arai; Shingo Sugawara (CogSci, 2020)

Syntactic Processing Skills: Engine for Acquiring Knowledge. - Noriko H. Arai; Teiko Arai; Naoya Todo; Takuya Matsuzaki; Miwa Inuzuka; Shingo Sugawara; Koken Ozaki (CogSci, 2023)

Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration. - Noriko H. Arai; Ryuji Masukawa; Hiroshi Miyashita (ICKII, 2023)