Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings - Governatori, Guido; Sartor, Giovanni; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Logic design; Computational complexity; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Computation by Abstract Devices; Logics and Meanings of Programs; Mathematics of Computing