LEADER 05951nam 22007335 450 001 9910484457103321 005 20200701050123.0 010 $a3-319-50953-5 024 7 $a10.1007/978-3-319-50953-2 035 $a(CKB)3850000000027343 035 $a(DE-He213)978-3-319-50953-2 035 $a(MiAaPQ)EBC5596044 035 $a(PPN)200512293 035 $a(EXLCZ)993850000000027343 100 $a20170411d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNew Frontiers in Artificial Intelligence $eJSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers /$fedited by Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 548 p. 130 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10091 311 $a3-319-50952-7 327 $aDiscourse particles -- Disjunction -- Truth -- Copredication -- Expressive content -- Categorial grammar -- Dependent type semantics -- Sequent calculus -- Fundamental and practical issues -- Law -- Social science -- Information -- Intelligent technology -- Logic and philosophy -- Formal and informal logic -- Artificial intelligence -- Safety engineering -- Healthy aging -- Elderly care support -- Time series data analysis -- Real life application -- Prediction -- Autism spectrum disorders -- Robots -- Social anxiety -- Skill science -- Analogical abduction -- Dynamic balancing. . 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v10091 606 $aArtificial intelligence 606 $aInformation storage and retrieval 606 $aApplication software 606 $aData mining 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 615 0$aArtificial intelligence. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aData mining. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aData Mining and Knowledge Discovery. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Appl. in Administrative Data Processing. 676 $a006.3 702 $aOtake$b Mihoko$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKurahashi$b Setsuya$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOta$b Yuiko$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSatoh$b Ken$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBekki$b Daisuke$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484457103321 996 $aNew Frontiers in Artificial Intelligence$9771993 997 $aUNINA