Title: Deontic Logic in Computer Science
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Information systems, Discrete Mathematics in Computer Science, Programming Techniques, Logic design, Logics and Meanings of Programs, Computer Appl. in Administrative Data Processing, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics)