دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
دانلود کتاب زبانها و فن آوری های نماینده: اولین کارگاه بین المللی ، DALT 2003 ، ملبورن ، استرالیا ، 15 ژوئیه 2003 ، بازبینی مجدد مقالات منتخب و دعوت شده
مشخصات کتاب
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Andrea Omicini, Franco Zambonelli (auth.), João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (eds.) سری: Lecture Notes in Computer Science 2990 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540221247, 9783540259329 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 295 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب زبانها و فن آوری های نماینده: اولین کارگاه بین المللی ، DALT 2003 ، ملبورن ، استرالیا ، 15 ژوئیه 2003 ، بازبینی مجدد مقالات منتخب و دعوت شده: هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و فن آوری های نماینده: اولین کارگاه بین المللی ، DALT 2003 ، ملبورن ، استرالیا ، 15 ژوئیه 2003 ، بازبینی مجدد مقالات منتخب و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و فن آوری های نماینده: اولین کارگاه بین المللی ، DALT 2003 ، ملبورن ، استرالیا ، 15 ژوئیه 2003 ، بازبینی مجدد مقالات منتخب و دعوت شده
پیچیدگی فزاینده سیستم‌های عامل نیازمند مدل‌ها و فناوری‌هایی است که امکان پیش‌بینی سیستم را فراهم می‌کنند و امکان کشف و تأیید ویژگی را فراهم می‌کنند. روش‌های رسمی و فن‌آوری‌های اعلامی اخیراً به عنوان ابزاری برای مقابله با چنین موضوعاتی مورد توجه فزاینده‌ای قرار گرفته‌اند.
این کتاب نسخه های اصلاح شده و توسعه یافته 11 مقاله را ارائه می دهد که برای ارائه در اولین کارگاه بین المللی زبان ها و فناوری های عامل اعلامی، DALT 2003، در ملبورن، استرالیا در ژوئیه 2003 در جریان AAMAS برگزار شد. همچنین شامل 3 مقاله دعوت شده توسط محققان برجسته در منطقه است تا از پوشش مناسب همه موضوعات مرتبط اطمینان حاصل شود.
مقالات در بخش های موضوعی در
- مهندسی نرم افزار و نمونه سازی MAS
- عامل سازماندهی شده اند. استدلال، منطق BDI، و الحاقات
- جنبه های اجتماعی سیستم های چند عاملی
توضیحاتی درمورد کتاب به خارجی
The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.
This book presents revised and extended versions of 11 papers selected for presentation at the First International Workshop on Declarative Agent Languages and Technologies, DALT 2003, held in Melbourne, Australia in July 2003 during AAMAS; also included are 3 invited papers by leading researchers in the area to ensure competent coverage of all relevant topics.
The papers are organized in topical sections on
- software engineering and MAS prototyping
- agent reasoning, BDI logics, and extensions
- social aspects of multi-agent systems
فهرست مطالب
Front Matter....Pages -
MAS as Complex Systems: A View on the Role of Declarative Approaches....Pages 1-16
A Logic-Based Infrastructure for Reconfiguring Applications....Pages 17-36
Operational Semantics for Agents by Iterated Refinement....Pages 37-53
Go! for Multi-threaded Deliberative Agents....Pages 54-75
An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology....Pages 76-96
A Logic for Ignorance....Pages 97-108
Coo-BDI: Extending the BDI Model with Cooperativity....Pages 109-134
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication....Pages 135-154
A Combined Logic of Expectation and Observation....Pages 155-172
A Proposal for Reasoning in Agents: Restricted Entailment....Pages 173-190
A Social Approach to Communication in Multiagent Systems....Pages 191-220
Logic-Based Electronic Institutions....Pages 221-242
Modeling Interactions Using Social Integrity Constraints : A Resource Sharing Case Study....Pages 243-262
Linear Logic, Partial Deduction and Cooperative Problem Solving....Pages 263-279
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009. Proceedings
دانلود کتاب Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers: 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings
دانلود کتاب Computer Graphics, C Version
دانلود کتاب Computer Science in Perspective: Essays Dedicated to Thomas Ottmann
دانلود کتاب Communications of ACM 2011 vol 54 issue 2
دانلود کتاب Dictionary English Informatics Standard Glossary of Computer Applications Terminology
