دانلود کتاب Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (به فارسی: منطق Deontic در علوم کامپیوتر: هفتمین کارگاه بین المللی منطق Deontic در علوم کامپیوتر، DEON 2004، مادیرا، پرتغال، 26-28 می 2004. مجموعه مقالات) نوشته شده توسط «Mark A. Brown (auth.) – Alessio Lomuscio – Donald Nute (eds.)»
اطلاعات کتاب منطق Deontic در علوم کامپیوتر: هفتمین کارگاه بین المللی منطق Deontic در علوم کامپیوتر، DEON 2004، مادیرا، پرتغال، 26-28 می 2004. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Mark A. Brown (auth.) – Alessio Lomuscio – Donald Nute (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 282
حجم کتاب: 5 مگابایت
کد کتاب: 3540221115 , 9783540221111 , 9783540259275
نوبت چاپ: 1
توضیحات کتاب منطق Deontic در علوم کامپیوتر: هفتمین کارگاه بین المللی منطق Deontic در علوم کامپیوتر، DEON 2004، مادیرا، پرتغال، 26-28 می 2004. مجموعه مقالات
این جلد شامل مجموعه مقالات کارگاه DEON 2004، هفتمین کارگاه بین المللی منطق دیونتیک در علوم کامپیوتر است. هدف مجموعه کارگاه آموزشی DEON گرد هم آوردن محققان علاقه مند به موضوعات مرتبط با استفاده از منطق deontic در علوم کامپیوتر است. به طور سنتی پژوهش در رابطه بین مفاهیم هنجاری و علوم کامپیوتر، هوش مصنوعی، نظریه سازمان و قانون را ترویج می‌کند. علاوه بر این موضوعات، DEON 2004 تاکید ویژه ای بر رابطه بین منطق deontic و سیستم های چند عاملی داشت. این کارگاه در مادیرا، پرتغال، در 26 تا 28 می 2004 برگزار شد. این جلد شامل تمام 15 مقاله ارائه شده در کارگاه، و همچنین دو چکیده از دو سخنران برجسته دعوت شده است که ما ممتاز میزبانی آن را داشتیم: پروفسور مارک براون ( دانشگاه سیراکوز، ایالات متحده آمریکا) و پروفسور مایک وولدریج (دانشگاه لیورپول، انگلستان). خواننده متوجه خواهد شد که موضوعات تحت پوشش از تحقیقات نظری در مورد مفاهیم deontic و رسمیت آنها در منطق، تا استفاده از فرمالیسم های deontic برای تأیید و استدلال در مورد کاربردهای سیستم های چند عاملی را شامل می شود. ما معتقدیم که این باعث می شود که حجم خوبی متعادل و جالب باشد. مایلیم از همه کسانی که در این کارگاه همکاری کردند و به ویژه نویسندگان مقالات ارسالی و داوران تشکر کنیم. همه آنها مجبور شدند در یک بازه زمانی بسیار فشرده کار کنند تا این حجم به واقعیت تبدیل شود.
This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics – lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.