Logical Aspects of Computational Linguistics

7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

  • Denis Béchet
  • Alexander Dikovsky
Conference proceedings LACL 2012

DOI: 10.1007/978-3-642-31262-5

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

Table of contents

  1. Front Matter
  2. Alexander Clark
    Pages 1-20
  3. Christophe Fouqueré, Myriam Quatrini
    Pages 21-44
  4. Nicholas Asher
    Pages 45-57
  5. Gregory M. Kobele
    Pages 103-118
  6. Gregory M. Kobele, Jens Michaelis
    Pages 119-134
  7. Yusuke Kubota, Robert Levine
    Pages 135-150
  8. Zhaohui Luo
    Pages 173-185
  9. Andrew Plummer, Carl Pollard
    Pages 201-212
  10. Kurt Ranalter
    Pages 213-228
  11. Tao Xue, Zhaohui Luo
    Pages 234-249
  12. Back Matter

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International  Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012.

The 15 revised full papers presented  together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on  logical foundation of syntactic formalisms,  logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.

Keywords

lambda grammar push-down automata semantics transductions type theory

Editors and affiliations

  • Denis Béchet
    • 1
  • Alexander Dikovsky
    • 1
  1. 1.LINA UMR 6241Université de NantesNantes Cedex 3France

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31261-8
  • Online ISBN 978-3-642-31262-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349