New frontiers in artificial intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised selected papers /: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised selected papers. (2015)

• Record Type: Book
• Further Information: Note: Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.).
• Editors: Murata, Tsuyoshi; Mineshima, Koji; Bekki, Daisuke
• Other Names: JSAI-isAI (Symposium), 6th; LENLS (Workshop), 11th; JURISIN (Workshop), 8th; GABA (Workshop), 1st
• Contents: LENLS 11 -- Logic and Engineering of Natural Language Semantics (LENLS) 11 -- Codability and Robustness in Formal Natural Language Semantics -- CI via DTS -- Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures -- A type-logical account of quantification in event semantics -- Towards a Wide-Coverage Tableau Method for Natural Logic -- Resolving Modal Anaphora in Dependent Type Semantics -- Canonical Constituents and Non-canonical Coordination: Simple Categorial Grammar Account -- A good intensifier -- Strict Comparison and Weak Necessity: The Case of Epistemic Yao in Mandarin Chinese -- Computing the Semantics of Plurals and Massive Entities using Many-Sorted Types -- On CG Management of Japanese Weak Necessity Modal Hazu -- Using Signatures in Type Theory to Represent Situations -- Scope as syntactic abstraction -- Focus and Givenness Across the Grammar -- JURISIN 2014 -- Eighth International Workshop on Juris-Informatics (JURISIN 2014) -- Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO -- Legal Question Answering Using Ranking SVM and Syntactic/Semantic Similarity -- Translating Simple Legal Text to Formal Representations -- Analyzing Reliability Change in Legal Case -- GABA 2014 -- Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014) -- Anchor Alignment Problem for Rooted Labeled Trees -- Central Point Selection for Dimension Reduction ProjectionSimple-Map using Binary Quantization -- Mapping Kernels for Cyclically Ordered Trees -- Finding Ambiguous Patterns on Grammar Compressed String -- Detecting Anomalous Subgraphs on Attributed Graphs Using Graph Cuts.
• Publisher Details: Heidelberg : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiii, 357 pages), illustrations
• Subjects: 006.3; Artificial intelligence -- Congresses; Artificial intelligence; Computer Science; Mechanical Engineering - General; Engineering & Applied Sciences; Mechanical Engineering; Computer Science; Artificial Intelligence (incl. Robotics); Information Storage and Retrieval; Information Systems Applications (incl. Internet); Data Mining and Knowledge Discovery; Mathematical Logic and Formal Languages; Computer Appl. in Administrative Data Processing; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662481196; 3662481197; 3662481189; 9783662481189
• Related ISBNs: 9783662481189
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed August 31, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.