Logical Aspects of Computational Linguistics [electronic resource] :7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky.
by Béchet, Denis [editor.]; Dikovsky, Alexander [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7351Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: X, 251 p. 32 illus. online resource.ISBN: 9783642312625.Subject(s): Computer science | Logic design | Artificial intelligence | Translators (Computer programs) | Computer vision | Computational linguistics | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Language Translation and Linguistics | Logics and Meanings of Programs | Computer Imaging, Vision, Pattern Recognition and Graphics | Computational LinguisticsDDC classification: 006.3 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TJ210.2-211.495 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | Q334-342 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QC174.7-175.36 Dissipative Solitons in Reaction Diffusion Systems | TA1637-1638 Image and Signal Processing | RD78.3-87.3 Multiple Choice Questions in Regional Anaesthesia | Q334-342 Logical Aspects of Computational Linguistics | GE1-350 Capture and Utilization of Carbon Dioxide with Polyethylene Glycol | TA1637-1638 Breast Imaging | QA75.5-76.95 Multidisciplinary Information Retrieval |
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.
There are no comments for this item.