New Frontiers in Artificial Intelligence

JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

AvTsuyoshi Murata,Koji Mineshima

Häftad, Engelska, 2015

Del i serien Lecture Notes in Computer Science

536 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2015-09-03
Mått:155 x 235 x 21 mm
Vikt:563 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:357
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783662481189

Utforska kategorier

Databaser inom Data och IT
Artificiell intelligens inom Data och IT
Tillämpad datateknik inom Data och IT

Innehållsförteckning

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.