![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Noriko H. Arai
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c23]Noriko H. Arai, Teiko Arai, Naoya Todo, Takuya Matsuzaki, Miwa Inuzuka, Shingo Sugawara, Koken Ozaki:
Syntactic Processing Skills: Engine for Acquiring Knowledge. CogSci 2023 - [c22]Noriko H. Arai, Ryuji Masukawa, Hiroshi Miyashita:
Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration. ICKII 2023: 367-371 - 2020
- [c21]Naoya Todo, Noriko H. Arai, Shingo Sugawara:
Large-Scale Survey of Students' Skills in Reading Math Definitions. CogSci 2020
2010 – 2019
- 2018
- [j8]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): 251-266 (2018) - 2017
- [c20]Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai:
Semantic Parsing of Pre-university Math Problems. ACL (1) 2017: 2131-2141 - [c19]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 - 2016
- [c18]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: 213-227 - [c17]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 - [c16]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: 82-89 - [c15]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 - [c14]Akira Fujita, Naoya Todo
, Shingo Sugawara, Kyo Kageura, Noriko H. Arai:
Development of a Reading Skill Test to Measure Basic Language Skills. T4E 2016: 156-159 - 2015
- [c13]Takuya Matsuzaki, Akira Fujita, Naoya Todo
, Noriko H. Arai:
Evaluating Machine Translation Systems with Second Language Proficiency Tests. ACL (2) 2015: 145-149 - 2014
- [c12]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: 1098-1104 - [c11]Akira Fujita, Masayuki Suzuki, Noriko H. Arai:
Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing. CogSci 2014 - [c10]Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai:
Mathematics by machine. ISSAC 2014: 1-8 - 2013
- [c9]Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai:
The Complexity of Math Problems - Linguistic, or Computational? IJCNLP 2013: 73-81 - [c8]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: 42-50
2000 – 2009
- 2008
- [c7]Kayo Kawamoto, Noriko H. Arai:
Evaluation of Logical Thinking Ability through Contributions in a Learning Community. LKR 2008: 326-333 - 2006
- [j7]Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart:
The complexity of analytic tableaux. J. Symb. Log. 71(3): 777-790 (2006) - 2005
- [j6]Toru Takahashi, Christoph Bartneck
, Yasuhiro Katagiri, Noriko H. Arai:
TelMeA - Expressive avatars in asynchronous communications. Int. J. Hum. Comput. Stud. 62(2): 193-209 (2005) - [c6]Noriko H. Arai, Chimako Hiratsuka:
Creating a Virtual Space for Child-Rearing with IT Beginners. IMSA 2005: 123-127 - [c5]Noriko H. Arai, Kayo Kawamoto:
Designing Collaborative Learning Environment for Advanced Math. IMSA 2005: 145-150 - 2004
- [c4]Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri:
CSCL Environment for Bilingual Deaf Education. CATE 2004: 411-416 - [c3]Yasuhiro Katagiri, Toru Takahashi, Noriko H. Arai:
Social Summarization for Semantic Society. JSAI Workshops 2004: 150-157 - 2001
- [c2]Noriko H. Arai
, Toniann Pitassi, Alasdair Urquhart:
The complexity of analytic tableaux. STOC 2001: 356-363 - 2000
- [j5]Noriko H. Arai
:
Relative efficency of propositional proof systems: resolution vs. cut-free LK. Ann. Pure Appl. Log. 104(1-3): 3-16 (2000) - [j4]Noriko H. Arai
:
No feasible monotone interpolation for simple combinatorial reasoning. Theor. Comput. Sci. 238(1-2): 477-482 (2000) - [j3]Noriko H. Arai
:
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. Theor. Comput. Sci. 243(1-2): 185-197 (2000) - [c1]Noriko H. Arai, Alasdair Urquhart:
Local Symmetries in Propositional Logic. TABLEAUX 2000: 40-51
1990 – 1999
- 1996
- [j2]Noriko H. Arai
:
A Proper Hierarchy of Propositional Sequent Calculi. Theor. Comput. Sci. 159(2): 343-354 (1996) - [j1]Noriko H. Arai:
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. Theor. Comput. Sci. 170(1-2): 129-144 (1996)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-03 19:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint