0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Deontic Logic in Computer Science - 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (Paperback, 2004 ed.) Loot Price: R1,559
Discovery Miles 15 590
Deontic Logic in Computer Science - 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira,...

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

Alessio Lomuscio, Donald Nute

Series: Lecture Notes in Computer Science, 3065

 (sign in to rate)
Loot Price R1,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 3065
Release date: May 2004
First published: 2004
Editors: Alessio Lomuscio • Donald Nute
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Paperback
Pages: 282
Edition: 2004 ed.
ISBN-13: 978-3-540-22111-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN: 3-540-22111-5
Barcode: 9783540221111

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners