دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
دانلود کتاب جنبه های منطقی زبان شناسی محاسباتی: هشتمین کنفرانس بین المللی، LACL 2014، تولوز، فرانسه، 18-20 ژوئن 2014. مجموعه مقالات
مشخصات کتاب
Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
ویرایش: 1
نویسندگان: Nicholas Asher. Sergei Soloviev (eds.)
سری: Lecture Notes in Computer Science 8535 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662437414, 9783662437421
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 202
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب جنبه های منطقی زبان شناسی محاسباتی: هشتمین کنفرانس بین المللی، LACL 2014، تولوز، فرانسه، 18-20 ژوئن 2014. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، ترجمه زبان و زبان شناسی، منطق و معانی برنامه ها، زبان شناسی محاسباتی، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های منطقی زبان شناسی محاسباتی: هشتمین کنفرانس بین المللی، LACL 2014، تولوز، فرانسه، 18-20 ژوئن 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های منطقی زبان شناسی محاسباتی: هشتمین کنفرانس بین المللی، LACL 2014، تولوز، فرانسه، 18-20 ژوئن 2014. مجموعه مقالات
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری هشتمین کنفرانس بین المللی جنبه های منطقی زبان شناسی محاسباتی (LACL 2014) است که در تولوز، فرانسه، در ژوئن 2014 برگزار شد. از جنبه نحوی گسترده، مقالاتی در مورد مبانی منطقی و محاسباتی گرامرهای آزاد زمینه، گرامرهای پیش گروهی، در حساب لامبک و رسمی سازی جنبه های مینیمالیسم وجود دارد. همچنین مقاله‌ای در مورد گرامر دسته‌بندی انتزاعی، و همچنین مقالاتی در مورد مسائل در رابط نحو/معنای وجود دارد. از جنبه معنایی، مقالات جلد به استدلال یکنواختی و معناشناسی قیدها در نظریه نوع، معناشناسی نظری اثبات و عدم تغییر محمول و استدلال می پردازد.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
فهرست مطالب
Front Matter....Pages -
Building PMCFG Parsers as Datalog Program Transformations....Pages 1-13
Representing Anaphora with Dependent Types....Pages 14-29
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents....Pages 30-43
Adverbs in a Modern Type Theory....Pages 44-56
An Algebraic Approach to Multiple Context-Free Grammars....Pages 57-69
An ACG View on G-TAG and Its g-Derivation....Pages 70-82
On Harmonic CCG and Pregroup Grammars....Pages 83-95
The Granularity of Meaning in Proof-Theoretic Semantics....Pages 96-106
Late Merge as Lowering Movement in Minimalist Grammars....Pages 107-121
Pseudogapping as Pseudo-VP Ellipsis....Pages 122-137
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories....Pages 138-148
Semantically Inactive Multiplicatives and Words as Types....Pages 149-162
Generalising Predicate and Argument Invariance....Pages 163-176
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?....Pages 177-188
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Нирвана
دانلود کتاب Primality Testing in Polynomial Time. From Randomized Algorithms to "PRIMES is in P"
