Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lomuscio, Alessio (Επιμελητής έκδοσης), Nute, Donald (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3065
• Θέματα: Computer science.; Computers.; Mathematical logic.; Artificial intelligence.; Computer Science.; Theory of Computation.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.

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...

Πίνακας περιεχομένων:

• Abstracts of Invited Papers
• Obligation, Contracts, and Negotiation
• Social Laws in Alternating Time
• Contributed Papers
• Combinations of Tense and Deontic Modality
• ?: The Social Delegation Cycle
• Designing a Deontic Logic of Deadlines
• Obligation Change in Dependence Logic and Situation Calculus
• A Proposal for Dealing with Deontic Dilemmas
• Defeasible Logic: Agency, Intention and Obligation
• Collective Obligations and Agents: Who Gets the Blame?
• Conflicting Imperatives and Dyadic Deontic Logic
• On Obligations and Abilities
• On Normative-Informational Positions
• Quasi-matrix Deontic Logic
• Delegation in a Role-Based Organization
• Automatic Verification of Deontic Properties of Multi-agent Systems
• Specifying Multiagent Organizations
• Maintaining Obligations on Stative Expressions in a Deontic Action Logic.