دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
دانلود کتاب منطق Deontic در علوم کامپیوتر: 9th کنفرانس بین المللی، DEON 2008، لوکزامبورگ، لوکزامبورگ، 15-18 ژوئیه 2008. پرونده ها
مشخصات کتاب
Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Nuel Belnap (auth.), Ron van der Meyden, Leendert van der Torre (eds.) سری: Lecture Notes in Computer Science 5076 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540705244, 9783540705246 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 287 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب منطق Deontic در علوم کامپیوتر: 9th کنفرانس بین المللی، DEON 2008، لوکزامبورگ، لوکزامبورگ، 15-18 ژوئیه 2008. پرونده ها: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق Deontic در علوم کامپیوتر: 9th کنفرانس بین المللی، DEON 2008، لوکزامبورگ، لوکزامبورگ، 15-18 ژوئیه 2008. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق Deontic در علوم کامپیوتر: 9th کنفرانس بین المللی، DEON 2008، لوکزامبورگ، لوکزامبورگ، 15-18 ژوئیه 2008. پرونده ها
این جلد، مقالات داوری نهمین کنفرانس بین المللی منطق دیونتیک در علوم کامپیوتر، DEON 2008، که در ژوئیه 2008 در لوکزامبورگ برگزار شد، ارائه می کند.
16 مقاله کامل اصلاح شده همراه با 4 مقاله ارائه شده است. گفتگوهای دعوت شده با دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. موضوعات مطرح شده توسعه سیستم های رسمی منطق دیونتیک و حوزه های منطقی مرتبط و کاربردها هستند. تعامل بین سیستم‌های کامپیوتری و کاربران آن‌ها از اهمیت ویژه‌ای برخوردار است. مقالات همچنین بر موضوع ویژه رویکردهای منطقی به مفاهیم ریشه‌ای در علوم کامپیوتر در حوزه امنیت و اعتماد، که شامل برنامه‌های کاربردی در تجارت الکترونیک و همچنین حوزه‌های سنتی امنیت رایانه می‌شود، تمرکز دارند.
توضیحاتی درمورد کتاب به خارجی
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008.
The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in the book. The topics addressed are development of formal systems of deontic logic and related areas of logic, and applications. Of particular interest is the interaction between computer systems and their users; the papers focus also on the special topic of logical approaches to deontic notions in computer science in the area of security and trust, encompassing applications in e-commerce as well as traditional areas of computer security.
فهرست مطالب
Front Matter....Pages -
Norms in Branching Space-Times....Pages 1-2
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories....Pages 3-18
Acting, Events and Actions....Pages 19-33
A Tableaux System for Deontic Action Logic....Pages 34-48
Information Security Economics - and Beyond....Pages 49-49
Trust and Norms in the Context of Computer Security: A Logical Formalization....Pages 50-64
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic....Pages 65-80
Delegation of Control in Administrative Procedures....Pages 81-95
Variations in Access Control Logic....Pages 96-109
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking....Pages 110-124
Need to Know: Questions and the Paradox of Epistemic Obligation....Pages 125-139
A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’....Pages 140-154
Reactive Kripke Models and Contrary to Duty Obligations....Pages 155-173
Normative Consequence: The Problem of Keeping It Whilst Giving It up....Pages 174-188
On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ....Pages 189-202
Strata of Intervenient Concepts in Normative Systems....Pages 203-217
A Deontic Logic for Socially Optimal Norms....Pages 218-232
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin....Pages 233-247
Introducing Grades in Deontic Logics....Pages 248-262
Pushing Anderson’s Envelope: The Modal Logic of Ascription....Pages 263-277
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Knowledge Management in Electronic Government: 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004. Proceedings
دانلود کتاب Environmental Health Sciences Decision Making: Risk Management, Evidence, and Ethics: Workshop Summary
دانلود کتاب Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 1998, Columbia University, New York, New York
دانلود کتاب Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, AH 2000 Trento, Italy, August 28–30, 2000 Proceedings
دانلود کتاب Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
دانلود کتاب Evolutionary biology of Ostracoda : its fundamentals and applications : proceedings of the Ninth International Symposium on Ostracoda, held in Shizuoka, Japan, 29 July-2 August
دانلود کتاب Progress in Pattern Recognition, Image Analysis and Applications: 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings
دانلود کتاب Management of Convergence Networks and Services: 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings
دانلود کتاب Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS’98 Nagano, Japan, November 4–6, 1998 Selected Papers
