Logic and Algorithms in Computational Linguistics 2018 (Lacompling2018) (Hardcover) (ISBN-13: 9783030300760)

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.

Author: Roussanka Loukanova
ISBN-10: 3030300765
ISBN-13: 9783030300760
Publisher: Springer
Language: English
Published: 10/11/2019
Pages: 205
Format: Hardcover
Weight: 1.06lbs
Size: 9.21h x 6.14w x 0.56d