© 2017

New Frontiers in Artificial Intelligence

JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

  • Mihoko Otake
  • Setsuya Kurahashi
  • Yuiko Ota
  • Ken Satoh
  • Daisuke Bekki
Conference proceedings JSAI-isAI 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10091)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 10091)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. LENLS 12

    1. Front Matter
      Pages 1-2
    2. Tomohiro Sakai
      Pages 15-26
    3. Yurie Hara, Eric McCready
      Pages 27-40
    4. Julie Hunter, Márta Abrusán
      Pages 41-57
    5. Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
      Pages 58-65
    6. Yusuke Kubota, Robert Levine
      Pages 79-92
    7. Uli Sauerland, Ayaka Tamura, Masatoshi Koizumi, John M. Tomlinson Jr.
      Pages 109-121
    8. Shunsuke Yatabe
      Pages 166-182
  3. JURISIN 9

    1. Front Matter
      Pages 183-185
    2. Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo, Giuseppe Cota
      Pages 187-203
    3. Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
      Pages 217-232
    4. Cesare Bartolini, Robert Muthuri, Cristiana Santos
      Pages 233-248

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015.

The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions.

LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics.

JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area.

AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument.

HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches.

TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications.

ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides.

SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.


formal semantics semantics dynamic semantics natural language processing text mining

Editors and affiliations

  • Mihoko Otake
    • 1
  • Setsuya Kurahashi
    • 2
  • Yuiko Ota
    • 3
  • Ken Satoh
    • 4
  • Daisuke Bekki
    • 5
  1. 1.Chiba University Graduate School of EngineeringChibaJapan
  2. 2.University of TsukubaTokyoJapan
  3. 3.Fujitsu LaboratoriesKanagawaJapan
  4. 4.National Institute of InformaticsTokyoJapan
  5. 5.Ochanomizu UniversityTokyoJapan

Bibliographic information