Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری هفتمین کنفرانس بین المللی جنبه های منطقی زبان شناسی محاسباتی، LACL 2012، در نانت، فرانسه، در ژوئیه 2012 است. 15 مقاله کامل اصلاح شده ارائه شده همراه با 2 سخنرانی دعوت شده به دقت بررسی و از بین 24 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در زمینه مبانی منطقی فرمالیسم‌های نحوی، منطق‌های معنایی اقلام واژگانی، جملات، گفتمان و گفتگو، کاربرد این مدل‌ها در پردازش زبان طبیعی، نوع نظری، نظریه اثبات، نظریه مدل و سایر روش‌های رسمی مبتنی بر منطق سازمان‌دهی شده‌اند. برای توصیف نحو زبان طبیعی، معناشناسی و عمل شناسی، و همچنین پیاده سازی نرم افزار پردازش زبان طبیعی با تکیه بر چنین روش هایی.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.