Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logical Aspects of Computational Linguistics

First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Christian Retoré
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: LACL 1996.

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

Access this book

Log in via an institution
Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

About this book

This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996.
The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming, type theory, etc.

Keywords

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Logical aspects of computational linguistics: An introduction

    • Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie
    Pages 1-20

  3. Partial proof trees, resource sensitive logics and syntactic constraints

    • Aravind K. Joshi, Seth Kulick
    Pages 21-42

  4. Inessential features

    • Marcus Kracht
    Pages 43-62

  5. Linear logic as logic programming: An abstract

    • Dale Miller
    Pages 63-67

  6. Derivational minimalism

    • Edward Stabler
    Pages 68-95

  7. Tree adjoining grammars in noncommutative linear logic

    • V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
    Pages 96-117

  8. Constructing different phonological bracketings from a proof net

    • Denis Bechet, Philippe de Groote
    Pages 118-133

  9. Vagueness and type theory

    • Pascal Boldini
    Pages 134-148

  10. A natural language explanation for formal proofs

    • Yann Coscoy
    Pages 149-167

  11. Models for polymorphic Lambek Calculus

    • Martin Emms
    Pages 168-187

  12. Sloopy Identity

    • Claire Gardent
    Pages 188-207

  13. A family of decidable feature logics which support HPSG-style set and list constructions

    • Stephen J. Hegner
    Pages 208-227

  14. Language understanding: A procedural perspective

    • Ruth Kempson, Wilfried Meyer Viol, Dov Gabbay
    Pages 228-247

  15. The automatic deduction of classificatory systems from linguistic theories (abridged)

    • Paul John King, Kiril Ivanov Simov
    Pages 248-273

  16. A belief-centered treatment of pragmatic presupposition

    • Lucia H. B. Manara, Anne De Roeck
    Pages 274-291

  17. Connected sets of types and categorial consequence

    • Jacek Marciniec
    Pages 292-309

  18. Generation as deduction on labelled proof nets

    • Josep M. Merenciano, Glyn Morrill
    Pages 310-328

  19. Semilinearity as a syntactic invariant

    • Jens Michaelis, Marcus Kracht
    Pages 329-345

  20. Quantitative constraint logic programming for weighted grammar applications

    • Stefan Riezler
    Pages 346-365
Back to top

Other volumes

  1. Logical Aspects of Computational Linguistics

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation