Publish Date: 2006
Internet Resource: Please Login to download book
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science.
Subject: Computer Science, AI logics, action logic, algorithms, artificial intelligence, atificial agent societies, classification, computer science logic, defeasable logic, deontic logic, formal reasoning, formal verification, intelligence, logic, multi-agent system, normative concepts