| 书目名称 | Deontic Logic in Computer Science | | 副标题 | 9th International Co | | 编辑 | Ron Meyden,Leendert Torre | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interdisciplinary, and includes research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, - ganization theory, and law. The ?EON website, http://www.deonticlogic.org, contains links to previous conferences and their papers. This history reveals a vibrant interdisciplinary research program. Papers for these conferences might address such general themes as the - velopment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, responsibility, etc., or the formal representation of legal knowledge. They might also be concerned with applications, such as the formal sp | | 出版日期 | Conference proceedings 2008 | | 关键词 | AI logics; action logic; administrative procedures; aretaic; computer science logic; defeasible logic; deo | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-70525-3 | | isbn_softcover | 978-3-540-70524-6 | | isbn_ebook | 978-3-540-70525-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|
发表于 2025-3-21 18:58:17
