Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
3065 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Deontic logic in computer science, 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004. proceedings, Alessio Lomuscio, Donald Nute (Eds.), Berlin, Springer, 2004, 1 vol. (X-274 p.), Lecture notes in computer science, 3-540-22111-5 • Deontic Logic in Computer Science, Texte imprimé, 9783662194560 |
| LEADER | 04820nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 970637 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155193902 | ||
| 020 | |a 9783540259275 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Deontic Logic in Computer Science |n (07 |d :2004 |c :Madeira, Portugal). | |
| 245 | 1 | 0 | |a Deontic logic in computer science : |b 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings |c [edited by] Alessio Lomuscio, Donald Nute. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 3065 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logique déontique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Lomuscio, Alessio. |4 pbd | |
| 700 | 1 | |a Nute, Donald, |d 1947- |4 pbd | |
| 776 | 0 | |0 078881595 |t Deontic logic in computer science |o 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004. proceedings |f Alessio Lomuscio, Donald Nute (Eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (X-274 p.) |s Lecture notes in computer science |z 3-540-22111-5 | |
| 776 | 0 | |t Deontic Logic in Computer Science |b Texte imprimé |z 9783662194560 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b98159 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-42DN8VQ6-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750661127 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b98159 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754010694 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b98159 |z Accès INSA CVL | |
| 997 | |0 970637 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||