Deontic Logic in Computer Science
Subtitle: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
By: edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem
Contributors: Broersen, Jan; Elgesem, Dag; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7393
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642315701
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)