| 书目名称 | Deontic Logic in Computer Science |
| 副标题 | 7th International Wo |
| 编辑 | Alessio Lomuscio,Donald Nute |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | 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 tho |
| 出版日期 | Conference proceedings 2004 |
| 关键词 | AI logics; action logic; artificial intelligence; computer science logic; deontic logic; formal reasoning |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b98159 |
| isbn_softcover | 978-3-540-22111-1 |
| isbn_ebook | 978-3-540-25927-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
发表于 2025-3-21 16:54:36
