دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
دانلود کتاب منطق ، زبان و محاسبات: هشتمین سمپوزیوم بین المللی تفلیس درمورد منطق ، زبان و محاسبات ، TbiLLC 2009 ، باکوریانی ، جورجیا ، 21-25 سپتامبر 2009. نسخه های تجدید نظر شده
مشخصات کتاب
Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
ویرایش: 1 نویسندگان: Lev Beklemishev (auth.), Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada (eds.) سری: Lecture Notes in Computer Science 6618 ISBN (شابک) : 9783642223020, 3642223036 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 372 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب منطق ، زبان و محاسبات: هشتمین سمپوزیوم بین المللی تفلیس درمورد منطق ، زبان و محاسبات ، TbiLLC 2009 ، باکوریانی ، جورجیا ، 21-25 سپتامبر 2009. نسخه های تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان‌های رسمی، ترجمه زبان و زبانشناسی
در صورت تبدیل فایل کتاب Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، زبان و محاسبات: هشتمین سمپوزیوم بین المللی تفلیس درمورد منطق ، زبان و محاسبات ، TbiLLC 2009 ، باکوریانی ، جورجیا ، 21-25 سپتامبر 2009. نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ، زبان و محاسبات: هشتمین سمپوزیوم بین المللی تفلیس درمورد منطق ، زبان و محاسبات ، TbiLLC 2009 ، باکوریانی ، جورجیا ، 21-25 سپتامبر 2009. نسخه های تجدید نظر شده
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری هشتمین سمپوزیوم بین المللی تفلیس در مورد منطق، زبان و محاسبات، TbiLLC 2009، برگزار شده در باکریانی، گرجستان، در سپتامبر 2009 است. 20 مقاله کامل اصلاح شده موجود در کتاب با دقت بررسی و از بین ارائه های متعدد ارائه شده در سمپوزیوم انتخاب شدند. تمرکز مقالات بر روی موضوعات زیر است: نحو زبان طبیعی، معناشناسی، و عمل شناسی. منطق سازنده، معین و جبری؛ گونه شناسی زبانی و کلیات معنایی؛ منطق برای هوش مصنوعی؛ بازیابی اطلاعات، سیستم های پاسخ پرس و جو؛ منطق، بازی ها، و عمل شناسی رسمی؛ تکامل و یادگیری زبان؛ انتخاب اجتماعی محاسباتی؛ زبانشناسی تاریخی، تاریخ منطق.
توضیحاتی درمورد کتاب به خارجی
Edited 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.
فهرست مطالب
Front Matter....Pages -
Ordinal Completeness of Bimodal Provability Logic GLB ....Pages 1-15
Spectral and T 0 -Spaces in d-Semantics....Pages 16-29
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi....Pages 30-45
A Modal Transcription of the Hausdorff Residue....Pages 46-52
Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models....Pages 53-76
A View of Canonical Extension....Pages 77-100
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules....Pages 101-124
Efficient Design and Inference in Distributed Bayesian Networks: An Overview....Pages 125-144
Logic of Questions and Public Announcements....Pages 145-157
Boolean Modal Logic wK 4 Dyn - Doxastic Interpretation....Pages 158-169
Functional Analysis of Contrasting Conjunctions in Georgian....Pages 170-181
Discourse Relations and Relevance Implicatures: A Case Study....Pages 182-196
Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach....Pages 197-214
The Functions of the Particles mxolod and mart’o in Georgian....Pages 215-222
Aspectual Shifts With and Without Type Conflict....Pages 223-239
Preverbs in Megrelian....Pages 240-248
The Syntax/Semantics Interface: Compositionality Issues....Pages 249-270
A Finite State Approach to Abkhaz Morphology and Stress....Pages 271-282
From Inference to Meaning: Experimental Study on Reasoning with Quantifiers Some and Most ....Pages 283-300
The Imperfect Measure of Internally Plural Events....Pages 301-321
The Meaning of the Additive Too : Presupposition and Discourse Similarity....Pages 322-341
Bayesian NL Interpretation and Learning....Pages 342-359
Back Matter....Pages -
