Deontic Logic in Computer Science 7th International Workshop on
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
- PDF / 2,757,879 Bytes
- 285 Pages / 430 x 660 pts Page_size
- 87 Downloads / 209 Views
Subseries of Lecture Notes in Computer Science
3065
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Alessio Lomuscio Donald Nute (Eds.)
Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004 Madeira, Portugal, May 26-28, 2004 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Alessio Lomuscio King’s College London, Department of Computer Science London WC2R 2LS, UK E-mail: [email protected] Donald Nute The University of Georgia, Department of Philosophy Artificial Intelligence Center Athens, GA 30602, USA E-mail: [email protected]
Library of Congress Control Number: 2004105854
CR Subject Classification (1998): I.2.3, I.2.11, I.2, F.4.1 ISSN 0302-9743 ISBN 3-540-22111-5 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable to prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 11011736 06/3142 543210
Preface
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 related to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, artificial 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 volume 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 find that the topics covered span from theoretical 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
Data Loading...
