Advertisement

© 2016

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

  • Maxime Amblard
  • Philippe de Groote
  • Sylvain Pogodalla
  • Christian Retoré
Conference proceedings LACL 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10054)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10054)

Table of contents

  1. Front Matter
    Pages I-XXIV
    PDF
  2. Language Games
    Nicholas Asher, Soumya Paul
    Pages 1-17
  3. Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic
    William Babonnaud, Laura Kallmeyer, Rainer Osswald
    Pages 18-33
  4. Categorial Dependency Grammars with Iterated Sequences
    Denis Béchet, Annie Foret
    Pages 34-51
  5. Implementing Variable Vectors in a CCG Parser
    Daisuke Bekki, Ai Kawazoe
    Pages 52-67
  6. On Classical Nonassociative Lambek Calculus
    Wojciech Buszkowski
    Pages 68-84
  7. Proof Assistants for Natural Language Semantics
    Stergios Chatzikyriakidis, Zhaohui Luo
    Pages 85-98
  8. Compositional Event Semantics in Pregroup Grammars
    Gabriel Gaudreault
    Pages 99-115
  9. A Compositional Distributional Inclusion Hypothesis
    Dimitri Kartsaklis, Mehrnoosh Sadrzadeh
    Pages 116-133
  10. Strong and Weak Quantifiers in Focused NL\(_{\text {CL}}\)
    Pepijn Kokke
    Pages 134-148
  11. Type Reconstruction for \(\lambda \)-DRT Applied to Pronoun Resolution
    Hans Leiß, Shuqian Wu
    Pages 149-174
  12. A Computable Solution to Partee’s Temperature Puzzle
    Kristina Liefke, Sam Sanders
    Pages 175-190
  13. Actuality Entailments: When the Modality is in the Presupposition
    Alda Mari
    Pages 191-210
  14. Non-crossing Tree Realizations of Ordered Degree Sequences
    Laurent Méhats, Lutz Straßburger
    Pages 211-227
  15. On the Logic of Expansion in Natural Language
    Glyn Morrill, Oriol Valentín
    Pages 228-246
  16. Context Update for Lambdas and Vectors
    Reinhard Muskens, Mehrnoosh Sadrzadeh
    Pages 247-254
  17. XMG 2: Describing Description Languages
    Simon Petitjean, Denys Duchier, Yannick Parmentier
    Pages 255-272
  18. Minimalist Grammar Transition-Based Parsing
    Miloš Stanojević
    Pages 273-290
  19. A Compositional Semantics for ‘If Then’ Conditionals
    Mathieu Vidal
    Pages 291-307
  20. Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
    Christian Wurm
    Pages 308-323

About these proceedings

Introduction

Edited under the auspices of the Association of Logic, Language and
Information (FoLLI), this book constitutes the refereed proceedings of
the 20th anniversary of the International Conference on Logical
Aspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,
France, in December 2016. The 19 contributed papers, presented
together with 4 invited papers and 6 abstracts, were carefully
reviewed and selected from 38 submissions. The focus of the conference
is the use of type theoretic, proof theoretic, and model theoretic
methods for describing and formalising natural language syntax,
semantics, and pragmatics as well as the implementation of the
corresponding tools.

Keywords

context-free languages formal semantics lexical semantics logic programming natural language processing

Editors and affiliations

  • Maxime Amblard
    • 1
  • Philippe de Groote
    • 2
  • Sylvain Pogodalla
    • 3
  • Christian Retoré
    • 4
  1. 1.Campus ScientifiqueLORIA (UMR 7503) – Semagramme Campus ScientifiqueVandoeuvre-les-NancyFrance
  2. 2.Grand EstINRIA Nancy Grand EstVillers-lès-NancyFrance
  3. 3.INRIA Nancy Villers-les-NancyFrance
  4. 4.LIRMM, Université de Montpellier Montpellier cedexFrance

Bibliographic information