New Frontiers in Artificial Intelligence  JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /  [electronic resource] : 
edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki. 
 - 1st ed. 2015. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2015. 
 - 1 online resource (XIII, 357 p. 48 ill.) 
 - Lecture Notes in Computer Science,  9067  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783662481196 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Mathematical logic.<br/>Data mining.<br/>Information Storage and Retrieval.<br/>Artificial intelligence.<br/>Application software.