دانلود کتاب Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
دسته: ریاضیات محاسباتی
کتاب منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
نام کتاب : Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق، زبان و محاسبات: هفتمین سمپوزیوم بین المللی تفلیس در منطق، زبان و محاسبات، TbiLLC 2007، تفلیس، گرجستان، 1-5 اکتبر 2007. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 5422 : Lecture Notes in Artificial Intelligence
نویسندگان : Paul Meurer (auth.), Peter Bosch, David Gabelaia, Jérôme Lang (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 298
ISBN (شابک) : 3642006647 , 9783642006647
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری هفتمین سمپوزیوم بین المللی تفلیس در زمینه منطق، زبان و محاسبات، TbiLLC 2007، برگزار شده در تفلیس، گرجستان، است. در اکتبر 2007.
22 مقاله کامل اصلاح شده موجود در کتاب با دقت بررسی و از بین ارائه های متعدد ارائه شده در سمپوزیوم انتخاب شدند. تمرکز مقالات بر موضوعات زیر است: مدل‌سازی مفهومی روابط فضایی، عمل‌شناسی و نظریه بازی، پدیده‌های ظرفیت غیر معمول، گونه‌شناسی واژگانی، معناشناسی رسمی و شواهد تجربی، محدوده کمی‌ساز استثنایی، ذرات متمرکز گرجی، قطبیت و عمل‌شناسی، پویایی باور. ، نظریه یادگیری، معناشناسی کنجکاوی، منطق مدال، جبرهای ذغالی، زبان شناسی محاسباتی گرجی، گرامر نوع منطقی و وابستگی های متقابل سریال، منطق غیر یکنواخت، کمی سازهای ژاپنی، منطق شهودی، معناشناسی اسمی های نفی، ابهام زدایی مفهوم کلمه، معناشناسی سوال - تعبیه محمولات، و پیچیدگی های متقابل و محاسباتی.
فهرست مطالب :
Front Matter....Pages -
A Computational Grammar for Georgian....Pages 1-15
The Structure of Rigid Frames of Depth 3 Only....Pages 16-22
Three Kinds of Event Nominal Negation in Russian....Pages 23-37
A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs....Pages 38-46
even in Horn Space....Pages 47-61
On -c and ḳi Particles in Georgian....Pages 62-68
Dealing with Polysemy in Russian National Corpus: The Case of Adjectives....Pages 69-79
Inquisitive Semantics: Two Possibilities for Disjunction....Pages 80-94
Implicatures of Irrelevant Answers and the Principle of Optimal Completion....Pages 95-109
Conceptualization of Pain: A Database for Lexical Typology....Pages 110-123
Expressing Belief Flow in Assertion Networks....Pages 124-138
The Computational Complexity of Quantified Reciprocals....Pages 139-152
Quantifiers in Japanese....Pages 153-164
Exceptional Scope as Discourse Reference to Quantificational Dependencies....Pages 165-179
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach....Pages 180-192
Identification through Inductive Verification....Pages 193-205
Enlarging the Diversity of Valency Instantiation Patterns and Its Implications....Pages 206-220
The Modal Formula (†) $\\square \\diamondsuit p \\supset \\square \\diamondsuit \\square \\diamondsuit p$ Is Not First-Order Definable....Pages 221-228
Semantic Characterizations of German Question-Embedding Predicates....Pages 229-241
Processing Definite Determiners: Formal Semantics Meets Experimental Results....Pages 242-256
Terminal Sequence Induction via Games....Pages 257-271
Dutch Grammar and Processing: A Case Study in TLG....Pages 272-286
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی