دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1st Edition. نویسندگان: Edmund M. Clarke, Andrei Voronkov سری: Lecture Notes in Artificial Intelligence 6355 ISBN (شابک) : 3642175104, 9783642175107 ناشر: Springer سال نشر: 2011 تعداد صفحات: 529 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل شانزدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2010 است که در داکار، سنگال، در آوریل/مه 2010 برگزار شد. 27 مقاله کامل اصلاح شده و 9 مقاله مقالات کوتاه اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده به دقت بازبینی و از بین 47 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری در استدلال خودکار، منطق محاسباتی، زبانهای برنامهنویسی میپردازند و به برنامهنویسی منطقی، دستکاری برنامههای مبتنی بر منطق، روشهای رسمی و انواع مختلف منطقهای هوش مصنوعی میپردازند. موضوعات تحت پوشش از جنبه های نظری تا کاربردهای مختلف مانند خودکار، حساب خطی، تأیید، نمایش دانش، نظریه اثبات، محدودیت های کمی، و همچنین منطق های مودال و زمانی را شامل می شود.
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Front Matter....Pages -
The TPTP World – Infrastructure for Automated Reasoning....Pages 1-12
Speed-Up Techniques for Negation in Grounding....Pages 13-26
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation....Pages 27-45
On the Equality of Probabilistic Terms....Pages 46-63
Program Logics for Homogeneous Meta-programming....Pages 64-81
Verifying Pointer and String Analyses with Region Type Systems....Pages 82-102
ABC: Algebraic Bound Computation for Loops....Pages 103-118
Hardness of Preorder Checking for Basic Formalisms....Pages 119-135
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae....Pages 136-153
Pairwise Cardinality Networks....Pages 154-172
Logic and Computation in a Lambda Calculus with Intersection and Union Types....Pages 173-191
Graded Alternating-Time Temporal Logic....Pages 192-211
Non-oblivious Strategy Improvement....Pages 212-230
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing....Pages 231-254
Label-Free Proof Systems for Intuitionistic Modal Logic IS5 ....Pages 255-271
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory....Pages 272-289
Disunification for Ultimately Periodic Interpretations....Pages 290-311
Synthesis of Trigger Properties....Pages 312-331
Semiring-Induced Propositional Logic: Definition and Basic Algorithms....Pages 332-347
Dafny: An Automatic Program Verifier for Functional Correctness....Pages 348-370
Relentful Strategic Reasoning in Alternating-Time Temporal Logic....Pages 371-386
Counting and Enumeration Problems with Bounded Treewidth....Pages 387-404
The Nullness Analyser of julia ....Pages 405-424
Qex: Symbolic SQL Query Explorer....Pages 425-446
Automated Proof Compression by Invention of New Definitions....Pages 447-462
Atomic Cut Introduction by Resolution: Proof Structuring and Compression....Pages 463-480
Satisfiability of Non-linear (Ir)rational Arithmetic....Pages 481-500
Coping with Selfish On-Going Behaviors....Pages 501-516
Back Matter....Pages -