Table of contents

  1. Front Matter
  2. Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie
    Pages 1-20
  3. Marcus Kracht
    Pages 43-62
  4. Edward Stabler
    Pages 68-95
  5. V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
    Pages 96-117
  6. Denis Bechet, Philippe de Groote
    Pages 118-133
  7. Pascal Boldini
    Pages 134-148
  8. Martin Emms
    Pages 168-187
  9. Claire Gardent
    Pages 188-207
  10. Ruth Kempson, Wilfried Meyer Viol, Dov Gabbay
    Pages 228-247
  11. Lucia H. B. Manara, Anne De Roeck
    Pages 274-291
  12. Josep M. Merenciano, Glyn Morrill
    Pages 310-328
  13. Jens Michaelis, Marcus Kracht
    Pages 329-345
  14. Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk
    Pages 406-425

About these proceedings


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.


computational linguistics formal proof linguistics logic natural language programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63700-4
  • Online ISBN 978-3-540-69631-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software