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