New Frontiers in Artificial Intelligence

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.