LEADER 03997nam 22006495 450 001 996465771903316 005 20200630022903.0 010 $a3-642-22303-6 024 7 $a10.1007/978-3-642-22303-7 035 $a(CKB)2670000000099845 035 $a(SSID)ssj0000530746 035 $a(PQKBManifestationID)11337716 035 $a(PQKBTitleCode)TC0000530746 035 $a(PQKBWorkID)10568076 035 $a(PQKB)11727709 035 $a(DE-He213)978-3-642-22303-7 035 $a(MiAaPQ)EBC3067017 035 $a(PPN)156321912 035 $a(EXLCZ)992670000000099845 100 $a20110718d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, and Computation$b[electronic resource] $e8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /$fedited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XIV, 360 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6618 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-22302-8 320 $aIncludes bibliographical references and author index. 327 $aNatural language syntax, semantics, and pragmatics -- Constructive, modal and algebraic logic -- Linguistic typology and semantic universals -- Logics for artificial intelligence -- Information retrieval, query answer systems -- Logic, games, and formal pragmatics -- Language evolution and learnability -- Computational social choice -- Historical linguistics, history of logic. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic. 410 0$aLecture Notes in Artificial Intelligence ;$v6618 606 $aArtificial intelligence 606 $aMathematical logic 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aNatural language processing (Computer science). 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aNatural Language Processing (NLP). 676 $a006.3 702 $aBezhanishvili$b Nick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLöbner$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchwabe$b Kerstin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSpada$b Luca$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465771903316 996 $aLogic, Language, and Computation$9772541 997 $aUNISA