Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)

1. Front Matter

   Pages i-ix

   PDF

2. Proof Irrelevance in Type-Theoretical Semantics

   • Zhaohui Luo

   Pages 1-15

3. Saving Hamlet Ellipsis

   • Kristina Liefke

   Pages 17-43

4. Temporal Representations with and without Points

   • Tim Fernando

   Pages 45-66

5. From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars

   • Rasmus Blanck, Aleksandre Maskharashvili

   Pages 67-93

6. Measuring Linguistic Complexity: Introducing a New Categorial Metric

   • Mehdi Mirzapour, Jean-Philippe Prost, Christian Retoré

   Pages 95-123

7. On Categorial Grammatical Inference and Logical Information Systems

   • Annie Foret, Denis Béchet

   Pages 125-153

8. A Scope-Taking System with Dependent Types and Continuations

   • Justyna Grudzińska, Marek Zawadowski

   Pages 155-176

9. On the Coevolution of Language and Cognition—Gricean Intentions Meet Lewisian Conventions

   • Nikola Anna Kompa

   Pages 177-205

This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution.


This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). 
Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.

• Computational Linguistics
• Computational Intelligence
• Natural language Processing
• Algorithms in Computational Linguistics
• Logics in Computational Linguistics
• LACompLing2018

• Department of Mathematics, Stockholm University, Stockholm, Sweden

  Roussanka Loukanova

Policies and ethics