Noriko H. Arai - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2023

Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI CollaborationNoriko H. Arai, Ryuji Masukawa, Hiroshi Miyashita. ickii 2023: 367-371 [doi]

2020

Large-Scale Survey of Students' Skills in Reading Math DefinitionsNaoya Todo, Noriko H. Arai, Shingo Sugawara. cogsci 2020: [doi]

2018

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problemsTakuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. aicom, 31(3):251-266, 2018. [doi]

2017

Reading Skill Test to Diagnose Basic Language Skills in Comparison to MachinesNoriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki. cogsci 2017: [doi]

Semantic Parsing of Pre-university Math ProblemsTakuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai. acl 2017: 2131-2141 [doi]

2016

Development of a Reading Skill Test to Measure Basic Language SkillsAkira Fujita, Naoya Todo, Shingo Sugawara, Kyo Kageura, Noriko H. Arai. t4e 2016: 156-159 [doi]

Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency TestsTakuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai. lrec 2016: [doi]

Race Against the Teens - Benchmarking Mechanized Math on Pre-university ProblemsTakuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai. cade 2016: 213-227 [doi]

An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for HumansTakuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai. cogsci 2016: [doi]

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance ExaminationYumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai. icms 2016: 82-89 [doi]

2015

Evaluating Machine Translation Systems with Second Language Proficiency TestsTakuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai. acl 2015: 145-149 [doi]

2014

2013

World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language TextsAi Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, Noriko H. Arai. jsai 2014: 42-50 [doi]

The Complexity of Math Problems - Linguistic, or Computational?Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai. ijcnlp 2013: 73-81 [doi]

2008

Evaluation of Logical Thinking Ability through Contributions in a Learning CommunityKayo Kawamoto, Noriko H. Arai. lkr (empty year): 326-333 [doi]

2006

The complexity of analytic tableauxNoriko H. Arai, Toniann Pitassi, Alasdair Urquhart. JSYML, 71(3):777-790, 2006. [doi]

2005

Designing Collaborative Learning Environment for Advanced MathNoriko H. Arai, Kayo Kawamoto. aimsa 2005: 145-150

Creating a Virtual Space for Child-Rearing with IT BeginnersNoriko H. Arai, Chimako Hiratsuka. aimsa 2005: 123-127

TelMeA - Expressive avatars in asynchronous communicationsToru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai. ijmms, 62(2):193-209, 2005. [doi]

2004

CSCL Environment for Bilingual Deaf EducationNoriko H. Arai, Toru Takahashi, Yasuhiro Katagiri. cate 2004: 411-416

Social Summarization for Semantic SocietyYasuhiro Katagiri, Toru Takahashi, Noriko H. Arai. jsai 2007: 150-157 [doi]

2001

The complexity of analytic tableauxNoriko H. Arai, Toniann Pitassi, Alasdair Urquhart. stoc 2001: 356-363 [doi]

2000

Local Symmetries in Propositional LogicNoriko H. Arai, Alasdair Urquhart. tableaux 2000: 40-51

Tractability of Cut-free Gentzen-type propositional calculus with permutation inference IINoriko H. Arai. TCS, 243(1-2):185-197, 2000. [doi]

Relative efficency of propositional proof systems: resolution vs. cut-free LKNoriko H. Arai. APAL, 104(1-3):3-16, 2000.

No feasible monotone interpolation for simple combinatorial reasoningNoriko H. Arai. TCS, 238(1-2):477-482, 2000. [doi]

1996

Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation InferenceNoriko H. Arai. TCS, 170(1-2):129-144, 1996. [doi]

A Proper Hierarchy of Propositional Sequent CalculiNoriko H. Arai. TCS, 159(2):343-354, 1996. [doi]

Sign in or sign up to see more results.

runs on WebDSL