New Frontiers in Artificial Intelligence

JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

  • Setsuya Kurahashi
  • Yuiko Ohta
  • Sachiyo Arai
  • Ken Satoh
  • Daisuke Bekki
Conference proceedings JSAI-isAI 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10247)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. LENLS 13

    1. Front Matter
      Pages 1-3
    2. Robin Cooper
      Pages 5-18
    3. Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
      Pages 19-32
    4. Kristina Liefke, Mark Bowker
      Pages 45-61
    5. Youichi Matsusaka
      Pages 62-73
    6. Eric McCready, Grégoire Winterstein
      Pages 74-89
    7. Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
      Pages 123-137
  3. HAT-MASH 2016

    1. Front Matter
      Pages 139-141
    2. Ken Fukuda, Satoshi Nishimura, Huizhi Liang, Takuichi Nishimura
      Pages 143-154
  4. AI-Biz 2016

    1. Front Matter
      Pages 155-157
    2. Meng-Ru Lin, Goutam Chakraborty
      Pages 176-187
    3. Jing Su, Mohsen Jafari Songhori, Takamasa Kikuchi, Masahiro Toriyama, Takao Terano
      Pages 188-203
    4. Morito Hashimoto, Setsuya Kurahashi
      Pages 220-236
  5. JURISIN 2016

    1. Front Matter
      Pages 237-239

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016.

The 22 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. LENLS 13 was the 13th event in the series, and it focused on the formal and theoretical aspects of natural language. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop recognized internationally in the formal syntax-semantics-pragmatics community. It has been bringing together for discussion and interdisciplinary communication researchers working on formal theories of natural language syntax, semantics and pragmatics, (formal) philosophy, artificial intelligence and computational linguistics.

HAT-MASH 2016 (Healthy Aging Tech mashup service, data and people) was the second international workshop bridges healthy aging and elderly care technology, information technology and service engineering. The main objective of this workshop was to provide a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches.

AI-Biz 2016 (Artificial Intelligence of and for Business) was the first workshop held to foster the concepts and techniques of Business Intelligence (BI) in Artificial Intelligence. BI should include such cutting-edge techniques as data science, agent-based modelling, complex adaptive systems, and IoT. The main purpose of this workshop is to provide a forum to discuss important research questions and practical challenges in Business Intelligence, Business Informatics, Data Analysis and Agent-based Modelling to exchange latest results, to join efforts in solving the common challenges.

JURISIN 2016 was the tenth international workshop on Juris-informatics. Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop was to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area.

SKL 2016 (The Third International Workshop on Skill Science) was aimed to internationalize the research on skill sciences through organizing the meeting. Human skills involve well-attuned perception and fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and tools mediating them makes the study of skills unique among researches of human intelligence.

Keywords

dynamic semantics higher-order logic knowledge representation lambda-calculus legal reasoning legal text mining logic for normative systems modal logic model checking natural language processing question answering semantics similarity text mining type theory

Editors and affiliations

  • Setsuya Kurahashi
    • 1
  • Yuiko Ohta
    • 2
  • Sachiyo Arai
    • 3
  • Ken Satoh
    • 4
  • Daisuke Bekki
    • 5
  1. 1.Graduate School of Business SciencesUniversity of Tsukuba TokyoJapan
  2. 2.Fujitsu Laboratories Ltd.KanagawaJapan
  3. 3.Chiba UniversityChibaJapan
  4. 4.National Institute of InformaticsTokyoJapan
  5. 5.Ochanomizu UniversityTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-61572-1
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-61571-4
  • Online ISBN 978-3-319-61572-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book