Noriko H. Arai

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 11

Top Topics

Language Skills

Machine Translation

Cognitive Processes

Top Venues

Publications

Noriko H. Arai, Ryuji Masukawa, Hiroshi Miyashita
Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration. ICKII (2023)
Noriko H. Arai, Teiko Arai, Naoya Todo, Takuya Matsuzaki, Miwa Inuzuka, Shingo Sugawara, Koken Ozaki
Syntactic Processing Skills: Engine for Acquiring Knowledge. CogSci (2023)
Naoya Todo, Noriko H. Arai, Shingo Sugawara
Large-Scale Survey of Students' Skills in Reading Math Definitions. CogSci (2020)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 31 (3) (2018)
Noriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki
Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines. CogSci (2017)
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
Semantic Parsing of Pre-university Math Problems. ACL (1) (2017)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR (2016)
Akira Fujita, Naoya Todo, Shingo Sugawara, Kyo Kageura, Noriko H. Arai
Development of a Reading Skill Test to Measure Basic Language Skills. T4E (2016)
Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. ICMS (2016)
Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai
Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests. LREC (2016)
Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai
An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans. CogSci (2016)
Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai
Evaluating Machine Translation Systems with Second Language Proficiency Tests. ACL (2) (2015)
Akira Fujita, Masayuki Suzuki, Noriko H. Arai
Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing. CogSci (2014)
Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
Mathematics by machine. ISSAC (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. AAAI (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Complexity of Math Problems - Linguistic, or Computational? IJCNLP (2013)
Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, Noriko H. Arai
World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts. JSAI-isAI Workshops (2013)
Kayo Kawamoto, Noriko H. Arai
Evaluation of Logical Thinking Ability through Contributions in a Learning Community. LKR (2008)
Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
The complexity of analytic tableaux. J. Symb. Log. 71 (3) (2006)
Toru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai
TelMeA - Expressive avatars in asynchronous communications. Int. J. Hum. Comput. Stud. 62 (2) (2005)
Noriko H. Arai, Kayo Kawamoto
Designing Collaborative Learning Environment for Advanced Math. IMSA (2005)
Noriko H. Arai, Chimako Hiratsuka
Creating a Virtual Space for Child-Rearing with IT Beginners. IMSA (2005)
Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri
CSCL Environment for Bilingual Deaf Education. CATE (2004)
Yasuhiro Katagiri, Toru Takahashi, Noriko H. Arai
Social Summarization for Semantic Society. JSAI Workshops (2004)
Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart
The complexity of analytic tableaux. STOC (2001)
Noriko H. Arai
No feasible monotone interpolation for simple combinatorial reasoning. Theor. Comput. Sci. 238 (1-2) (2000)
Noriko H. Arai
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. Theor. Comput. Sci. 243 (1-2) (2000)
Noriko H. Arai, Alasdair Urquhart
Local Symmetries in Propositional Logic. TABLEAUX (2000)
Noriko H. Arai
Relative efficency of propositional proof systems: resolution vs. cut-free LK. Ann. Pure Appl. Log. 104 (1-3) (2000)
Noriko H. Arai
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. Theor. Comput. Sci. 170 (1-2) (1996)
Noriko H. Arai
A Proper Hierarchy of Propositional Sequent Calculi. Theor. Comput. Sci. 159 (2) (1996)