03909nam 22007815 450 99646576300331620230406024038.03-642-31262-410.1007/978-3-642-31262-5(CKB)3400000000085350(SSID)ssj0000697542(PQKBManifestationID)11415417(PQKBTitleCode)TC0000697542(PQKBWorkID)10691347(PQKB)11715576(DE-He213)978-3-642-31262-5(MiAaPQ)EBC3070908(PPN)168318954(EXLCZ)99340000000008535020120611d2012 u| 0engurnn|008mamaatxtccrLogical Aspects of Computational Linguistics[electronic resource] 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings /edited by Denis Bechet, Alexandre Dikovsky1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (X, 251 p. 32 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7351Bibliographic Level Mode of Issuance: Monograph3-642-31261-6 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;7351Artificial intelligenceMachine theoryNatural language processing (Computer science)Computer scienceImage processing—Digital techniquesComputer visionComputational linguisticsArtificial IntelligenceFormal Languages and Automata TheoryNatural Language Processing (NLP)Computer Science Logic and Foundations of ProgrammingComputer Imaging, Vision, Pattern Recognition and GraphicsComputational LinguisticsArtificial 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.006.3Bechet Denisedthttp://id.loc.gov/vocabulary/relators/edtDikovsky Alexandreedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465763003316Logical Aspects of Computational Linguistics772784UNISA