000 05584nam a22006735i 4500
001 978-3-319-50953-2
003 DE-He213
005 20240730182016.0
007 cr nn 008mamaa
008 170411s2017 sz | s |||| 0|eng d
020 _a9783319509532
_9978-3-319-50953-2
024 7 _a10.1007/978-3-319-50953-2
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aNew Frontiers in Artificial Intelligence
_h[electronic resource] :
_bJSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers /
_cedited by Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXVI, 548 p. 130 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v10091
505 0 _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. .
520 _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.
650 0 _aArtificial intelligence.
_93407
650 0 _aInformation storage and retrieval systems.
_922213
650 0 _aApplication software.
_9126938
650 0 _aData mining.
_93907
650 0 _aMachine theory.
_9126939
650 0 _aInformation technology
_xManagement.
_95368
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aInformation Storage and Retrieval.
_923927
650 2 4 _aComputer and Information Systems Applications.
_9126940
650 2 4 _aData Mining and Knowledge Discovery.
_9126941
650 2 4 _aFormal Languages and Automata Theory.
_9126942
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
700 1 _aOtake, Mihoko.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126943
700 1 _aKurahashi, Setsuya.
_eeditor.
_0(orcid)
_10000-0002-3388-109X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126944
700 1 _aOta, Yuiko.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126945
700 1 _aSatoh, Ken.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126946
700 1 _aBekki, Daisuke.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9126947
710 2 _aSpringerLink (Online service)
_9126948
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319509525
776 0 8 _iPrinted edition:
_z9783319509549
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v10091
_9126949
856 4 0 _uhttps://doi.org/10.1007/978-3-319-50953-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91185
_d91185