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
