Book Details

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

Publication year: 2008

ISBN: 978-3-540-70525-3

Internet Resource: Please Login to download book


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.


Subject: 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