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.
