دانلود کتاب Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers (به فارسی: زبان‌ها و فن‌آوری‌های عامل اعلامی: اولین کارگاه بین‌المللی، DALT 2003، ملبورن، استرالیا، 15 جولای 2003، مقالات منتخب و دعوت‌شده اصلاح شده) نوشته شده توسط «Andrea Omicini – Franco Zambonelli (auth.) – João Leite – Andrea Omicini – Leon Sterling – Paolo Torroni (eds.)»
اطلاعات کتاب زبان‌ها و فن‌آوری‌های عامل اعلامی: اولین کارگاه بین‌المللی، DALT 2003، ملبورن، استرالیا، 15 جولای 2003، مقالات منتخب و دعوت‌شده اصلاح شده
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Andrea Omicini – Franco Zambonelli (auth.) – João Leite – Andrea Omicini – Leon Sterling – Paolo Torroni (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 272
حجم کتاب: 4 مگابایت
کد کتاب: 3540221247 , 9783540221241 , 9783540259329
نوبت چاپ: 1
توضیحات کتاب زبان‌ها و فن‌آوری‌های عامل اعلامی: اولین کارگاه بین‌المللی، 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
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.