Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings /
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 pre...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012
|
| Edition: | 1st ed. 2012 |
| Series: | Computer Science (Springer-11645)
Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 7351. LNCS sublibrary Theoretical computer science and general issues 7351 |
| Subjects: |
| LEADER | 05762nam a22008535i 4500 | ||
|---|---|---|---|
| 001 | 4a332969-ff29-4da5-9a1b-a96628b046a6 | ||
| 005 | 20240903000000.0 | ||
| 008 | 120611s2012 gw | o |||| 0|eng d | ||
| 020 | |a 978-3-642-31262-5 | ||
| 020 | |a 9783642312625 | ||
| 024 | 7 | |a 10.1007/978-3-642-31262-5 |2 doi | |
| 035 | |a (DE-He213)LNCS978-3-642-31262-5 | ||
| 035 | |a (DE-He213)SPRCS978-3-642-31262-5 | ||
| 050 | 4 | |a Q334-342 | |
| 050 | 4 | |a TA347.A78 | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a UYQ |2 thema | |
| 082 | 0 | 4 | |a 006.3 |2 23 |
| 245 | 0 | 0 | |a Logical Aspects of Computational Linguistics : |b 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings / |c edited by Denis Bechet, Alexandre Dikovsky |
| 250 | |a 1st ed. 2012 | ||
| 250 | |a First edition 2012 | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2012 | |
| 300 | |a 1 online resource (X, 251 pages) : |b 32 illustrations | ||
| 300 | |a 1 online resource (X, 251 pages) : |b 32 illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues ; |v 7351 | |
| 490 | 1 | |a Theoretical Computer Science and General Issues, |x 2512-2029 ; |v 7351 | |
| 506 | |a Restricted for use by site license | ||
| 506 | |a Restricted for use by site license. | ||
| 520 | |a 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 | ||
| 520 | |a 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 | ||
| 650 | 0 | |a Artificial intelligence | |
| 650 | 0 | |a Computational linguistics | |
| 650 | 0 | |a Computer logic | |
| 650 | 0 | |a Computer science | |
| 650 | 0 | |a Computer vision | |
| 650 | 0 | |a Image processing-Digital techniques | |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | |a Machine theory | |
| 650 | 0 | |a Natural language processing (Computer science) | |
| 650 | 0 | |a Optical data processing | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Computational linguistics |2 fast | |
| 650 | 7 | |a Computer logic |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Natural language processing (Computer science) |2 fast | |
| 650 | 7 | |a Optical data processing |2 fast | |
| 650 | 1 | 4 | |a Artificial Intelligence |
| 650 | 2 | 4 | |a Computational Linguistics |
| 650 | 2 | 4 | |a Computer Imaging, Vision, Pattern Recognition and Graphics |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory |
| 650 | 2 | 4 | |a Logics and Meanings of Programs |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages |
| 650 | 2 | 4 | |a Natural Language Processing (NLP) |
| 700 | 1 | |a Bechet, Denis |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Béchet, Denis, |d active 1632-1670, |e editor |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Dikovsky, Alexandre |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Dikovsky, Alexandre, |e editor |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642312618 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642312632 |
| 830 | 0 | |a Computer Science (Springer-11645) | |
| 830 | 0 | |a Computer Science (SpringerNature-11645) | |
| 830 | 0 | |a LNCS sublibrary |n SL 1, |p Theoretical computer science and general issues ; |v 7351. | |
| 830 | 0 | |a LNCS sublibrary |n SL 1, |p Theoretical computer science and general issues |x 2512-2029 ; |v 7351 | |
| 999 | 1 | 0 | |i 4a332969-ff29-4da5-9a1b-a96628b046a6 |l 9960095883503681 |s US-PU |m logical_aspects_of_computational_linguistics7th_international_conferen_____2012____201sprina___________________________________________________________________________e |
| 999 | 1 | 0 | |i 4a332969-ff29-4da5-9a1b-a96628b046a6 |l 9979100165003681 |s US-PU |m logical_aspects_of_computational_linguistics7th_international_conferen_____2012____201sprina___________________________________________________________________________e |