Logic and Algorithms in Computational Linguistics 2018 (Lacompling2018) (Studies in Computational Intelligence #860)

Description

Proof Irrelevance in Type-Theoretical Semantics.- Saving Hamlet Ellipsis.- Temporal Representations with and without Points.- From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars.- Measuring Linguistic Complexity: Introducing a New Categorial Metric.- On Categorial Grammatical Inference and Logical Information Systems.- A Scope-Taking System with Dependent Types and Continuations.- On the Coevolution of Language and Cognition - Gricean Intentions Meet Lewisian Conventions.