Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings /
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings / [electronic resource] :
edited by Denis Bechet, Alexandre Dikovsky.
- 1st ed. 2012.
- X, 251 p. 32 illus. online resource.
- Theoretical Computer Science and General Issues, 7351 2512-2029 ; .
- Theoretical Computer Science and General Issues, 7351 .
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.
9783642312625
10.1007/978-3-642-31262-5 doi
Artificial intelligence.
Machine theory.
Natural language processing (Computer science).
Computer science.
Image processing--Digital techniques.
Computer vision.
Computational linguistics.
Artificial Intelligence.
Formal Languages and Automata Theory.
Natural Language Processing (NLP).
Computer Science Logic and Foundations of Programming.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computational Linguistics.
Q334-342 TA347.A78
006.3
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.
9783642312625
10.1007/978-3-642-31262-5 doi
Artificial intelligence.
Machine theory.
Natural language processing (Computer science).
Computer science.
Image processing--Digital techniques.
Computer vision.
Computational linguistics.
Artificial Intelligence.
Formal Languages and Automata Theory.
Natural Language Processing (NLP).
Computer Science Logic and Foundations of Programming.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computational Linguistics.
Q334-342 TA347.A78
006.3