rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: New Frontiers in Artificial Intelligence
    sub title: JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
  name:
    name part: Otake, Mihoko.
    role:
      role term: editor.
  name:
    name part: Kurahashi, Setsuya.
    role:
      role term: editor.
  name:
    name part: Ota, Yuiko.
    role:
      role term: editor.
  name:
    name part: Satoh, Ken.
    role:
      role term: editor.
  name:
    name part: Bekki, Daisuke.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2017
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVI, 548 p. 130 illus. online resource.
  abstract: 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 a…
  table of contents: Discourse 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. .
  note: edited by Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki.
  subject:
    topic: Computer science
  subject:
    topic: Mathematical logic
  subject:
    topic: Data mining
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Artificial intelligence
  subject:
    topic: Application software
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Information Storage and Retrieval
  subject:
    topic: Information Systems Applications (incl. Internet)
  subject:
    topic: Data Mining and Knowledge Discovery
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Computer Appl. in Administrative Data Processing
  classification: Q334-342
  classification: TJ210.2-211.495
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 10091
  identifier: 9783319509532
  identifier: http://dx.doi.org/10.1007/978-3-319-50953-2
  record info:
    record creation date: 170411
    record change date: 20170411133414.0
    record identifier: 978-3-319-50953-2