TY  - BOOK
AU  - Béchet,Denis
AU  - Dikovsky,Alexander
ED  - SpringerLink (Online service)
TI  - Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642312625
AV  - Q334-342 
U1  - 006.3 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Logic design
KW  - Artificial intelligence
KW  - Translators (Computer programs)
KW  - Computer vision
KW  - Computational linguistics
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Mathematical Logic and Formal Languages
KW  - Language Translation and Linguistics
KW  - Logics and Meanings of Programs
KW  - Computer Imaging, Vision, Pattern Recognition and Graphics
KW  - Computational Linguistics
N2  - Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International  Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented  together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on  logical foundation of syntactic formalisms,  logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods
UR  - http://dx.doi.org/10.1007/978-3-642-31262-5
ER  -