دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
دانلود کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات
مشخصات کتاب
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 2514 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540000100, 9783540000105 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 475 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات: علوم کامپیوتر، عمومی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی منطق
برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2002 است که در
تفلیس، گرجستان در اکتبر 2002 برگزار شد.
30 مقاله کامل اصلاح شده ارائه شده با دقت بررسی شدند و انتخاب
از 68 ارسالی از جمله موضوعات تحت پوشش می توان به برنامه نویسی
محدودیت، مهندسی نرم افزار رسمی، تأیید رسمی، وضوح، یکسان سازی،
برنامه ریزی اثبات، تقسیم عامل، نمودارهای تصمیم دودویی، اتصال،
منطق خطی، اثبات قضیه ایزابل، کاهش هدایت شده و غیره اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th
International Conference on Logic for Programming, Artificial
Intelligence, and Reasoning, LPAR 2002, held in Tbilisi,
Georgia in October 2002.
The 30 revised full papers presented were carefully reviewed
and selected from 68 submissions. Among the topics covered
are constraint programming, formal software enginering,
formal verification, resolution, unification, proof planning,
agent splitting, binary decision diagrams, binding, linear
logic, Isabelle theorem prover, guided reduction, etc.
فهرست مطالب
Improving On-Demand Strategy Annotations....Pages 1-18
First-Order Logic as a Constraint Programming Language....Pages 19-35
Maintenance of Formal Software Developments by Stratified Verification....Pages 36-52
A Note on Universal Measures for Weak Implicit Computational Complexity....Pages 53-67
Extending Compositional Message Sequence Graphs....Pages 68-85
Searching for Invariants Using Temporal Resolution....Pages 86-101
Proof Planning for Feature Interactions: A Preliminary Report....Pages 102-114
An Extension of BDI CTL with Functional Dependencies and Components....Pages 115-129
Binding Logic: Proofs and Models....Pages 130-144
Directed Automated Theorem Proving....Pages 145-159
A Framework for Splitting BDI Agents....Pages 160-174
On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics....Pages 175-189
Using BDDs with Combinations of Theories....Pages 190-201
On Expressive Description Logics with Composition of Roles in Number Restrictions....Pages 202-215
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation....Pages 216-230
A Non-commutative Extension of MELL....Pages 231-246
Procedural Semantics for Fuzzy Disjunctive Programs....Pages 247-261
Pushdown Specifications....Pages 262-277
Theorem Proving with Sequence Variables and Flexible Arity Symbols....Pages 278-291
Games, Probability, and the Quantitative μ-Calculus qMμ ....Pages 292-310
Parallelism and Tree Regular Constraints....Pages 311-326
Gödel Logics and Cantor-Bendixon Analysis....Pages 327-336
A Semantics for Proof Plans with Applications to Interactive Proof Planning....Pages 337-351
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction....Pages 352-366
Proof Development with ΩMEGA: √2 Is Irrational....Pages 367-387
A Local System for Linear Logic....Pages 388-402
Investigating Type-Certifying Compilation with Isabelle....Pages 403-417
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions....Pages 418-434
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics....Pages 435-449
Fuzzy Prolog: A Simple General Implementation Using ( R )....Pages 450-463
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Sociology and Psychology of Terrorism: Who becomes a Terrorist and Why?
دانلود کتاب Proc. 18th annual ACM-SIAM symposium on discrete algorithms (SIAM 2007)
دانلود کتاب Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers ... Computer Science and General Issues)
دانلود کتاب Micro-organisms and earth systems--advances in geomicrobiology : sixty-fifth Symposium of the Society for General Microbiology held at Keele University, September
دانلود کتاب Spatial Information Theory: International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings
دانلود کتاب Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
دانلود کتاب Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
دانلود کتاب Modeling and Using Context: Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings
دانلود کتاب Advances in Computer Science – ASIAN 2005. Data Management on the Web: 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
