Skip to main content
SpringerLink
Log in
Book cover

Logical Aspects of Computational Linguistics

6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Sylvain Pogodalla

    1. INRIA Nancy – Grand Est, Villers-lès-Nancy Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Philippe Prost

    1. LIRMM, UMR 5506 - CC 477, Université Montpellier 2, Montpellier Cedex 5, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LACL 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework

    • Maxime Amblard
    Pages 1-16

  3. Using Logic in the Generation of Referring Expressions

    • Carlos Areces, Santiago Figueira, Daniel Gorín
    Pages 17-32

  4. Polarized Classical Non-associative Lambek Calculus and Formal Semantics

    • Arno Bastenhof
    Pages 33-48

  5. The Product-Free Lambek-Grishin Calculus Is NP-Complete

    • Jeroen Bransen
    Pages 49-63

  6. Copredication, Quantification and Frames

    • Robin Cooper
    Pages 64-79

  7. On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types

    • Denis Béchet, Alexandre Dikovsky, Annie Foret
    Pages 80-95

  8. Closure Properties of Minimalist Derivation Tree Languages

    • Thomas Graf
    Pages 96-111

  9. Well-Nestedness Properly Subsumes Strict Derivational Minimalism

    • Makoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka
    Pages 112-128

  10. Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages

    • Gregory M. Kobele
    Pages 129-144

  11. Do Dialogues Have Content?

    • Staffan Larsson
    Pages 145-158

  12. Contextual Analysis of Word Meanings in Type-Theoretical Semantics

    • Zhaohui Luo
    Pages 159-174

  13. Logic Programming of the Displacement Calculus

    • Glyn Morrill
    Pages 175-189

  14. Conditional Logic C b and Its Tableau System

    • Yuri Ozaki, Daisuke Bekki
    Pages 190-204

  15. Are (Linguists’) Propositions (Topos) Propositions?

    • Carl Pollard
    Pages 205-218

  16. Event in Compositional Dynamic Semantics

    • Sai Qian, Maxime Amblard
    Pages 219-234

  17. Using Tree Transducers for Grammatical Inference

    • Noémie-Fleur Sandillon-Rezer, Richard Moot
    Pages 235-250

  18. Distributional Learning of Abstract Categorial Grammars

    • Ryo Yoshinaka, Makoto Kanazawa
    Pages 251-266

  19. Some Generalised Comparative Determiners

    • Richard Zuber
    Pages 267-281

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logical Aspects of Computational Linguistics

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers address a wide range of logical and formal methods in computational linguistics such as type-theoretic grammars, dependency grammars, formal language theory, grammatical inference, minimalism, generation, and lexical and formal semantics.

Editors and Affiliations

  • INRIA Nancy – Grand Est, Villers-lès-Nancy Cedex, France

    Sylvain Pogodalla

  • LIRMM, UMR 5506 - CC 477, Université Montpellier 2, Montpellier Cedex 5, France

    Jean-Philippe Prost

Bibliographic Information

  • Book Title: Logical Aspects of Computational Linguistics

  • Book Subtitle: 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings

  • Editors: Sylvain Pogodalla, Jean-Philippe Prost

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-22221-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-22220-7Published: 22 June 2011

  • eBook ISBN: 978-3-642-22221-4Published: 24 June 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 283

  • Number of Illustrations: 43 b/w illustrations, 7 illustrations in colour

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Computational Linguistics

Publish with us

Policies and ethics

Back to top

Search

Navigation