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...

Description complète

Détails bibliographiques
Auteurs principaux : Béchet Denis (Directeur de publication), Bechet Denis (Directeur de publication), Dikovsky Alexandre (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham
Collection : Theoretical computer science and general issues (Online)
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Documents associés : Autre format: Logical Aspects of Computational Linguistics
Autre format: Logical Aspects of Computational Linguistics
LEADER 03672clm a2200685 4500
001 PPN168318954
003 http://www.sudoc.fr/168318954
005 20241001155000.0
010 |a 978-3-642-31262-5 
017 7 0 |a 10.1007/978-3-642-31262-5  |2 DOI 
035 |a (OCoLC)812961984 
035 |a Springer978-3-642-31262-5 
035 |a Springer-11645-978-3-642-31262-5 
100 |a 20130325d2012 k |0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
105 |a y z 100yy 
106 |a s 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Logical Aspects of Computational Linguistics  |e 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings  |f edited by Denis Béchet, Alexander Dikovsky. 
214 0 |a Berlin, Heidelberg  |c Springer Berlin Heidelberg 
214 2 |a Cham  |b Springer Nature  |d 2012 
225 0 |a Theoretical Computer Science and General Issues  |x 2512-2029  |v 7351 
330 |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. 
371 0 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
410 | |0 200114832  |t Theoretical computer science and general issues (Online)  |x 2512-2029 
452 | |t Logical Aspects of Computational Linguistics  |y 9783642312618 
452 | |t Logical Aspects of Computational Linguistics  |y 9783642312632 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
610 1 |a Computer Science 
610 2 |a Artificial Intelligence (incl. Robotics) 
610 2 |a Language Translation and Linguistics 
610 2 |a Mathematical Logic and Formal Languages 
610 2 |a Logics and Meanings of Programs 
610 2 |a Computer Imaging, Vision, Pattern Recognition and Graphics 
610 2 |a Computational Linguistics 
610 2 |a Natural Language Processing (NLP). 
610 1 |a Artificial Intelligence. 
610 2 |a Computer Science Logic and Foundations of Programming 
610 2 |a Formal Languages and Automata Theory 
615 |a @Computer Science  |n 11645  |2 Springer 
676 |a 006.3  |v 23 
680 |a Q334-342 
680 |a TJ210.2-211.495 
700 1 |a Béchet  |b Denis  |4 651 
701 1 |a Bechet  |b Denis  |4 651 
701 1 |a Dikovsky  |b Alexandre  |4 651 
801 3 |a FR  |b Abes  |c 20231126  |g AFNOR 
801 1 |a DE  |b Springer  |c 20230502  |g AACR2 
856 4 |5 441099901:83085245X  |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31262-5 
915 |5 441099901:83085245X  |b SPRING13-00328 
930 |5 441099901:83085245X  |b 441099901  |j g 
991 |5 441099901:83085245X  |a Exemplaire créé en masse par ITEM le 30-09-2024 16:10 
997 |a NUM  |b SPRING13-00328  |d NUMpivo  |e EM  |s d 
998 |a 978161