Skip to main content
SpringerLink
Log in
Book cover

Logical Aspects of Computational Linguistics

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Denis Béchet

    1. LINA UMR 6241, Université de Nantes, Nantes Cedex 3, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Dikovsky

    1. LINA UMR 6241, Université de Nantes, Nantes Cedex 3, 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 7351)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LACL 2012.

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Logical Grammars, Logical Theories

    • Alexander Clark
    Pages 1-20

  3. Ludics and Natural Language: First Approaches

    • Christophe Fouqueré, Myriam Quatrini
    Pages 21-44

  4. The Non Cooperative Basis of Implicatures

    • Nicholas Asher
    Pages 45-57

  5. Movement-Generalized Minimalist Grammars

    • Thomas Graf
    Pages 58-73

  6. Toward the Formulation of Presupposition by Illative Combinatory Logic

    • Yuri Ishishita, Daisuke Bekki
    Pages 74-85

  7. Abstract Automata and a Normal Form for Categorial Dependency Grammars

    • Boris Karlov
    Pages 86-102

  8. Importing Montagovian Dynamics into Minimalism

    • Gregory M. Kobele
    Pages 103-118

  9. CoTAGs and ACGs

    • Gregory M. Kobele, Jens Michaelis
    Pages 119-134

  10. Gapping as Like-Category Coordination

    • Yusuke Kubota, Robert Levine
    Pages 135-150

  11. L-Completeness of the Lambek Calculus with the Reversal Operation

    • Stepan Kuznetsov
    Pages 151-160

  12. Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free

    • Zhe Lin
    Pages 161-172

  13. Common Nouns as Types

    • Zhaohui Luo
    Pages 173-185

  14. Extractability as the Deduction Theorem in Subdirectional Combinatory Logic

    • Hiroko Ozaki, Daisuke Bekki
    Pages 186-200

  15. Agnostic Possible Worlds Semantics

    • Andrew Plummer, Carl Pollard
    Pages 201-212

  16. Abstract Machines for Argumentation

    • Kurt Ranalter
    Pages 213-228

  17. On the Completeness of Lambek Calculus with Respect to Cofinite Language Models

    • Alexey Sorokin
    Pages 229-233

  18. Dot-types and Their Implementation

    • Tao Xue, Zhaohui Luo
    Pages 234-249

  19. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logical Aspects of Computational Linguistics

Keywords

About this book

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.

Editors and Affiliations

  • LINA UMR 6241, Université de Nantes, Nantes Cedex 3, France

    Denis Béchet, Alexander Dikovsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation