Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
Description
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.
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
ComputersNatural Language ProcessingInformation TechnologyMathematicsLogicProgrammingIntelligence (AI) & SemanticsSoftware Development & EngineeringSystems Analysis & DesignDiscrete Mathematics
1997Book
Author(s)LACL '96 (1996 Nancy, France)
PublisherSpringer Science & Business Media
ISBN9783540637004
LanguageEnglish
