Cover Image

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include conn...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Governatori, Guido. (Editor), Sartor, Giovanni. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6181
Subjects:
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.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14183-6

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14183-6

Similar Items