Logical aspects of computational linguistics : celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016 Nancy, France, December 5-7, 2016 proceedings
著者
書誌事項
Logical aspects of computational linguistics : celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016 Nancy, France, December 5-7, 2016 proceedings
(Lecture notes in computer science, 10054 . LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues)
Springer, c2016
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.
目次
Formal logic.- Computational Linguistics.- Syntactic Parsing.- Formal Semantics.- Discourse Interpretation.
「Nielsen BookData」 より