دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.) سری: Lecture Notes in Computer Science 8652 Theoretical Computer Science and General Issues ISBN (شابک) : 9783662441442, 9783662441459 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 255 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب منطق، زبان، اطلاعات و محاسبات: 21st Workshop International، WoLLIC 2014، Valparaíso، Chile، 2014 سپتامبر 1-4. مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، تحلیل الگوریتم و پیچیدگی مسئله
در صورت تبدیل فایل کتاب Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، زبان، اطلاعات و محاسبات: 21st Workshop International، WoLLIC 2014، Valparaíso، Chile، 2014 سپتامبر 1-4. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ویرایش شده با همکاری FoLLI، انجمن منطق، زبان و اطلاعات، این کتاب مجموعه مقالات داوری بیست و یکمین کارگاه آموزشی منطق، زبان، اطلاعات و ارتباطات، WoLLIC 2014، در والپارایسو، شیلی، در سپتامبر 2014 است. 15 مقاله ارائه شده همراه با 6 سخنرانی دعوت شده به دقت بررسی و از بین 29 مقاله ارسالی انتخاب شدند. تمرکز این کارگاه روی موضوعات زیر بود: تحقیقات بین رشتهای شامل منطق رسمی، تئوری محاسبات و برنامهنویسی، و زبان طبیعی و استدلال.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
Front Matter....Pages -
Quantum State Transformations and Branching Distributed Temporal Logic....Pages 1-19
Definability for Downward and Vertical XPath on Data Trees....Pages 20-35
On the Value of Variables....Pages 36-50
Logics with Copy and Remove....Pages 51-65
Unranked Second-Order Anti-Unification....Pages 66-80
Reinstatement and the Requirement of Maximal Specificity in Argument Systems....Pages 81-93
Sequentialization for N-Graphs via Sub-N-Graphs....Pages 94-108
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs....Pages 109-123
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem....Pages 124-136
Ancestral Logic: A Proof Theoretical Study....Pages 137-151
A Calculus of Anyons....Pages 152-165
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars....Pages 166-180
Common Knowledge Semantics of Armstrong’s Axioms....Pages 181-194
On Distributed Stochastic Logics for Mobile Systems....Pages 195-205
On the Construction of Analytic Sequent Calculi for Sub-classical Logics....Pages 206-220
On the Broader Epistemological Significance of Self-Justifying Axiom Systems....Pages 221-236
Back Matter....Pages -