دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
دانلود کتاب منطق، زبان، اطلاعات و محاسبات: 16 کارگاه آموزشی بین المللی، WoLLIC 2009، توکیو، ژاپن، 21-24 ژوئن 2009. پرونده ها
مشخصات کتاب
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
ویرایش: 1 نویسندگان: Arnold Beckmann (auth.), Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.) سری: Lecture Notes in Computer Science 5514 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 364202260X, 9783642022609 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 417 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب منطق، زبان، اطلاعات و محاسبات: 16 کارگاه آموزشی بین المللی، WoLLIC 2009، توکیو، ژاپن، 21-24 ژوئن 2009. پرونده ها: هوش مصنوعی (شامل رباتیک)، نظریه محاسبات، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، ریاضیات محاسبات، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، زبان، اطلاعات و محاسبات: 16 کارگاه آموزشی بین المللی، WoLLIC 2009، توکیو، ژاپن، 21-24 ژوئن 2009. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، زبان، اطلاعات و محاسبات: 16 کارگاه آموزشی بین المللی، WoLLIC 2009، توکیو، ژاپن، 21-24 ژوئن 2009. پرونده ها
ویرایش با همکاری FoLLI، انجمن منطق، زبان و اطلاعات، این کتاب چهارمین جلد از زیر خط FoLLI LNAI را تشکیل می‌دهد. حاوی مقالات داوری شانزدهمین کارگاه بین المللی منطق، زبان، اطلاعات و محاسبات، WoLLIC 2009، که در ژوئن 2009 در توکیو، ژاپن برگزار شد.
25 مقاله کامل اصلاح شده همراه با شش آموزش ارائه شده و دعوت
شده گفتگوها به دقت بررسی و از بین 57 مورد ارسالی انتخاب شدند.
این مقالات برخی از فعال ترین زمینه های تحقیقاتی را در مورد
مرزهای بین محاسبات، منطق و زبان شناسی، با علاقه خاصی به
موضوعات بین رشته ای پوشش می دهند. زمینه های معمول مورد علاقه
عبارتند از: مبانی محاسبات و برنامه نویسی. مدل‌ها و
پارادایم‌های محاسباتی جدید؛ مفاهیم گسترده اثبات و اعتقاد؛ روش
های رسمی در توسعه نرم افزار و سخت افزار؛ رویکرد منطقی به زبان
طبیعی و استدلال. منطق برنامه ها، اقدامات و منابع؛ جنبه های
اساسی سازماندهی اطلاعات، جستجو، جریان، اشتراک گذاری و
حفاظت.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009.
The 25 revised full papers presented together with six
tutorials and invited talks were carefully reviewed and
selected from 57 submissions. The papers cover some of the
most active areas of research on the frontiers between
computation, logic, and linguistics, with particular interest
in cross-disciplinary topics. Typical areas of interest are:
foundations of computing and programming; novel computation
models and paradigms; broad notions of proof and belief;
formal methods in software and hardware development; logical
approach to natural language and reasoning; logics of
programs, actions and resources; foundational aspects of
information organization, search, flow, sharing, and
protection.
فهرست مطالب
Front Matter....Pages -
A Characterisation of Definable NP Search Problems in Peano Arithmetic....Pages 1-12
Algebraic Valuations as Behavioral Logical Matrices....Pages 13-25
Query Answering in Description Logics: The Knots Approach....Pages 26-36
Mathematical Logic for Life Science Ontologies....Pages 37-47
Recognizability in the Simply Typed Lambda-Calculus....Pages 48-60
Logic-Based Probabilistic Modeling....Pages 61-71
Completions of Basic Algebras....Pages 72-83
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization....Pages 84-98
Observational Completeness on Abstract Interpretation....Pages 99-112
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability....Pages 113-123
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points....Pages 124-139
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment....Pages 140-154
On-the-Fly Macros....Pages 155-169
Abductive Logic Grammars....Pages 170-181
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar....Pages 182-196
Observational Effort and Formally Open Mappings....Pages 197-208
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus....Pages 209-217
Property Driven Three-Valued Model Checking on Hybrid Automata....Pages 218-229
Team Logic and Second-Order Logic....Pages 230-241
Ludics and Its Applications to Natural Language Semantics....Pages 242-255
Spoilt for Choice: Full First-Order Hierarchical Decompositions....Pages 256-267
Classic-Like Analytic Tableaux for Finite-Valued Logics....Pages 268-280
A Duality for Algebras of Lattice-Valued Modal Logic....Pages 281-295
An Independence Relation for Sets of Secrets....Pages 296-304
Expressing Extension-Based Semantics Based on Stratified Minimal Models....Pages 305-319
Deep Inference in Bi-intuitionistic Logic....Pages 320-334
$\\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts....Pages 335-349
Ehrenfeucht-Fraïssé Games on Random Structures....Pages 350-364
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic....Pages 365-378
The Arrow Calculus as a Quantum Programming Language....Pages 379-393
Knowledge, Time, and Logical Omniscience....Pages 394-407
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Philosophy Crash Course: An In-Depth Overview of History's Great Thinkers: From Socrates to Plato to St Thomas Aquinas to Sam Harris
دانلود کتاب Just for Fun
دانلود کتاب Structural analysis of regular multi-storey buildings
دانلود کتاب On Photography
