Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری هفتمین سمپوزیوم بین المللی تفلیس در زمینه منطق، زبان و محاسبات، TbiLLC 2007، برگزار شده در تفلیس، گرجستان، است. در اکتبر 2007.

22 مقاله کامل اصلاح شده موجود در کتاب با دقت بررسی و از بین ارائه های متعدد ارائه شده در سمپوزیوم انتخاب شدند. تمرکز مقالات بر موضوعات زیر است: مدل‌سازی مفهومی روابط فضایی، عمل‌شناسی و نظریه بازی، پدیده‌های ظرفیت غیر معمول، گونه‌شناسی واژگانی، معناشناسی رسمی و شواهد تجربی، محدوده کمی‌ساز استثنایی، ذرات متمرکز گرجی، قطبیت و عمل‌شناسی، پویایی باور. ، نظریه یادگیری، معناشناسی کنجکاوی، منطق مدال، جبرهای ذغالی، زبان شناسی محاسباتی گرجی، گرامر نوع منطقی و وابستگی های متقابل سریال، منطق غیر یکنواخت، کمی سازهای ژاپنی، منطق شهودی، معناشناسی اسمی های نفی، ابهام زدایی مفهوم کلمه، معناشناسی سوال - تعبیه محمولات، و پیچیدگی های متقابل و محاسباتی.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007.

The 22 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: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity.