دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 6355 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642175114, 3642175112 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 526 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: شانزدهمین کنفرانس بین المللی ، LPAR-16 ، داکار ، سنگال ، 25 آوریل - 1 مه 2010 ، نسخه های تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمین
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: شانزدهمین کنفرانس بین المللی ، LPAR-16 ، داکار ، سنگال ، 25 آوریل - 1 مه 2010 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل شانزدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، 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 -