دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
دانلود کتاب منطق Deontic در علوم رایانه: دهمین کنفرانس بین المللی ، DEON 2010 ، Fiesole ، ایتالیا ، 7-9 ژوئیه ، 2010. مجموعه مقالات
مشخصات کتاب
Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ویرایش: 1 نویسندگان: Rosaria Conte, Giulia Andrighetto, Daniel Villatoro (auth.), Guido Governatori, Giovanni Sartor (eds.) سری: Lecture Notes in Computer Science 6181 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642141836, 3642141838 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 331 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب منطق Deontic در علوم رایانه: دهمین کنفرانس بین المللی ، DEON 2010 ، Fiesole ، ایتالیا ، 7-9 ژوئیه ، 2010. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان‌های رسمی، ریاضیات گسسته در علوم کامپیوتر، محاسبات با دستگاه‌های انتزاعی، منطق و معانی برنامه‌ها، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق Deontic در علوم رایانه: دهمین کنفرانس بین المللی ، DEON 2010 ، Fiesole ، ایتالیا ، 7-9 ژوئیه ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق Deontic در علوم رایانه: دهمین کنفرانس بین المللی ، DEON 2010 ، Fiesole ، ایتالیا ، 7-9 ژوئیه ، 2010. مجموعه مقالات
این جلد مجموعه مقالات داوری دهمین کنفرانس بین‌المللی منطق دیونتیک در علوم کامپیوتر، DEON 2010، که در فیزوله، ایتالیا، در ژوئیه 2010 برگزار شد، ارائه می‌کند. موضوعات تحت پوشش شامل ترجیحات اتصالات، منطق deontic و مغایر با وظایف، استفاده از منطق ورودی/خروجی، مطالعه دینامیک هنجارها، مدل‌های عامل‌ها و نهادها، استدلال، انطباق، و تحلیل‌های جایگزین مختلف مفاهیم deontic است.
توضیحاتی درمورد کتاب به خارجی
This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.
فهرست مطالب
Front Matter....Pages -
From Norm Adoption to Norm Internalization....Pages 1-1
Norms, Action and Agency in Multi-agent Systems....Pages 2-2
Towards a Logical Analysis of the Judgment on Facts....Pages 3-10
Deontic Redundancy: A Fundamental Challenge for Deontic Logic....Pages 11-32
A Dyadic Operator for the Gradation of Desirability....Pages 33-49
Deontics = Betterness + Priority....Pages 50-65
Axioms for Obligation and Robustness with Temporal Logic....Pages 66-83
Moral Particularism and Deontic Logic....Pages 84-97
Relevance, Derogation and Permission....Pages 98-115
Retroactive Legal Changes and Revision Theory in Defeasible Logic....Pages 116-131
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra....Pages 132-147
Avoiding Deontic Explosion by Contextually Restricting Aggregation....Pages 148-165
Obligations and Prohibitions in Talmudic Deontic Logic....Pages 166-178
Introducing Exclusion Logic as a Deontic Logic....Pages 179-195
Privacy Policies with Modal Logic: The Dynamic Turn....Pages 196-213
Value-Based Argumentation for Justifying Compliance....Pages 214-228
A Logical Model of Private International Law....Pages 229-246
Where Did Mally Go Wrong?....Pages 247-258
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents....Pages 259-273
Characterising Responsibility in Organisational Structures: The Problem of Many Hands....Pages 274-287
A Logical Analysis of Commitment Dynamics....Pages 288-305
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems....Pages 306-322
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب UNIX für Systemverwalter: Eine professionelle Anleitung am Beispiel von SCO UNIX
