Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Retore, Christian (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1328
• Θέματα: Natural language processing (Computer science).; Architecture, Computer.; Mathematical logic.; Computer logic.; Artificial intelligence.; Natural Language Processing (NLP).; Computer System Implementation.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Artificial Intelligence.
• Φυσική περιγραφή: X, 442 p. online resource.
• ISBN: 9783540696315
• DOI: 10.1007/BFb0052147

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.