LEADER 04423nam 2200637 450 001 996465858303316 005 20220212130407.0 010 $a3-540-75144-0 024 7 $a10.1007/978-3-540-75144-1 035 $a(CKB)1000000000490760 035 $a(SSID)ssj0000318708 035 $a(PQKBManifestationID)11239159 035 $a(PQKBTitleCode)TC0000318708 035 $a(PQKBWorkID)10336003 035 $a(PQKB)11403257 035 $a(DE-He213)978-3-540-75144-1 035 $a(MiAaPQ)EBC3063335 035 $a(MiAaPQ)EBC6868408 035 $a(Au-PeEL)EBL6868408 035 $a(PPN)123165261 035 $a(EXLCZ)991000000000490760 100 $a20220212d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aLogic, language, and computation $e6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /$fBalder D. ten Cate, Henk W. Zeevat (editors) 205 $a1st ed. 2007. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (XII, 282 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4363 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75143-2 320 $aIncludes bibliographical references and index. 327 $aExpressing Ignorance or Indifference -- The Main Devices of Foregrounding in the Information Structure of Georgian Sentences -- Focus and ?Only? in Hungarian -- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras -- Productivity, Polysemy, and Predicate Indexicality -- Argument Dependencies in Tukang Besi -- The Marking of Verb-Actant Relations in Georgian -- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points -- The Problem of Learning the Semantics of Quantifiers -- Towards a Cross-Linguistic Production Data Archive: Structure and Exploration -- Case Attraction in Ancient Greek -- Real World Multi-agent Systems: Information Sharing, Coordination and Planning -- Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation -- A Whether Forecast -- Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology -- Natural Logic for Natural Language -- Georgian as the Testing-Ground for Theories of Tense and Aspect -- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic -- Doubling: The Semantic Driving Force Behind Functional Categories. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics. 410 0$aLecture notes in computer science ;$v4363. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence.$pFoLLI publications on logic, language and information. 606 $aComputational linguistics$vCongresses 606 $aComputer logic$vCongresses 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 615 0$aComputational linguistics 615 0$aComputer logic 615 0$aProgramming languages (Electronic computers)$xSemantics 676 $a410.285 702 $aCate$b Balder David ten 702 $aZeevat$b Henk$f1952- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465858303316 996 $aLogic, Language, and Computation$9772541 997 $aUNISA