Title: Deontic Logic In Computer Science 11th International Conference Deon 2012 Bergen Norway July 1618 2012 Proceedings
Subjects: Computer logic, Congresses, Deontic logic, Computer science, Artificial intelligence, Logic design, Computational complexity