New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers (Lecture Notes in Computer Science, 9067)

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results. Front Matter....Pages I-XIII Front Matter....Pages 1-1 Logic and Engineering of Natural Language Semantics (LENLS) 11....Pages 3-5 Codability and Robustness in Formal Natural Language Semantics....Pages 6-22 CI via DTS....Pages 23-36 Formal Analysis of Epistemic Modalities and Conditionals Based on Logic of Belief Structures....Pages 37-52 A Type-Logical Account of Quantification in Event Semantics....Pages 53-65 Towards a Wide-Coverage Tableau Method for Natural Logic....Pages 66-82 Resolving Modal Anaphora in Dependent Type Semantics....Pages 83-98 Canonical Constituents and Non-canonical Coordination....Pages 99-113 A Good Intensifier....Pages 114-129 Strict Comparison and Weak Necessity: The Case of Epistemic Yào in Mandarin Chinese....Pages 130-143 Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types....Pages 144-159 Using Signatures in Type Theory to Represent Situations....Pages 160-171 Scope as Syntactic Abstraction....Pages 172-183 Focus and Givenness Across the Grammar....Pages 184-199 Front Matter....Pages 200-222 Eighth International Workshop on Juris-Informatics (JURISIN 2014)....Pages 223-223 Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO....Pages 225-226 Legal Question Answering Using Ranking SVM and Syntactic/Semantic Similarity....Pages 227-243 Translating Simple Legal Text to Formal Representations....Pages 244-258 Analyzing Reliability Change in Legal Case....Pages 259-273 Front Matter....Pages 274-290 Workshop on Graph-Based Algorithms for Big Data and Its Applications (GABA2014)....Pages 291-291 Anchored Alignment Problem for Rooted Labeled Trees....Pages 293-295 Central Point Selection in Dimension Reduction Projection Simple-Map with Binary Quantization....Pages 296-309 Mapping Kernels Between Rooted Labeled Trees Beyond Ordered Trees....Pages 310-316 Finding Ambiguous Patterns on Grammar Compressed String....Pages 317-330 Detecting Anomalous Subgraphs on Attributed Graphs via Parametric Flow....Pages 331-339 Back Matter....Pages 340-355 ....Pages 357-357 This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which took place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissionsfrom the 3 workshops (LENLS11, JURISIN2014, and GABA2014). LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.