Reference : Abstract Normative Systems: Semantics and Proof Theory
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/12970
Abstract Normative Systems: Semantics and Proof Theory
English
Colombo Tosatto, Silvano mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Boella, Guido [University of Torino, Italy]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Villata, Serena [INRIA, France]
2012
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE
358-368
Yes
International
978-1-57735-561-8
13th International Conference on Principles of Knowledge Representation and Reasoning
10-14 June 2012
Rome
Italy
[en] Normative Reasoning ; Deontic Logic
[en] In this paper we introduce an abstract theory of normative reasoning, whose central notion is the generation of obligations, permissions and institutional facts from conditional norms. We present various semantics and their proof systems. The theory can be used to classify and compare new candidates for standards of normative reasoning, and to explore more elaborate forms of normative reasoning than studied thus far.
http://hdl.handle.net/10993/12970
Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Abstract Normative Systems.pdfPublisher postprint678.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.