Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Publication year: 2008
: 978-3-540-70525-3
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008.
: Computer Science, AI logics, action logic, administrative procedures, aretaic, computer science logic, defeasible logic, deontic, deontic action logic, deontic logic, evidence documents, fault-tolerance, formal reasoning, formal specification, formal verification, fuzzy lo, Artificial Intelligence, Mathematical Logic and Formal Languages
