000 04113nam a22005295i 4500
001 978-3-540-75144-1
003 DE-He213
005 20160624102112.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540751441
_9978-3-540-75144-1
024 7 _a10.1007/978-3-540-75144-1
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aLogic, Language, and Computation
_h[electronic resource] :
_b6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
_cedited by Balder D. Cate, Henk W. Zeevat.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _aXII, 282 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4363
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 0 _aTranslators (Computer programs).
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aLanguage Translation and Linguistics.
700 1 _aCate, Balder D.
_eeditor.
700 1 _aZeevat, Henk W.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540751434
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4363
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-75144-1
942 _2EBK7834
_cEBK
999 _c37128
_d37128