LEADER 04868nam 22006735 450 001 996466228003316 005 20200706112651.0 010 $a3-540-25927-9 024 7 $a10.1007/b98159 035 $a(CKB)1000000000212419 035 $a(DE-He213)978-3-540-25927-5 035 $a(SSID)ssj0000136827 035 $a(PQKBManifestationID)11152574 035 $a(PQKBTitleCode)TC0000136827 035 $a(PQKBWorkID)10084593 035 $a(PQKB)11514406 035 $a(MiAaPQ)EBC3088954 035 $a(PPN)155193902 035 $a(EXLCZ)991000000000212419 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDeontic Logic in Computer Science$b[electronic resource] $e7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /$fedited by Alessio Lomuscio, Donald Nute 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 282 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3065 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22111-5 320 $aIncludes bibliographical references and index. 327 $aAbstracts 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v3065 606 $aComputers 606 $aArtificial intelligence 606 $aMathematical logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a004 702 $aLomuscio$b Alessio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNute$b Donald$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Deontic Logic in Computer Science 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466228003316 996 $aDeontic Logic in Computer Science$9774359 997 $aUNISA