Abstract Normative Systems: Semantics and Proof Theory (bibtex)
by Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata
Abstract:
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.
Reference:
Abstract Normative Systems: Semantics and Proof Theory (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, 2012.
Bibtex Entry:
@InProceedings{ColomboTosatto2012b,
  Title                    = {Abstract Normative Systems: Semantics and Proof Theory},
  Author                   = {Colombo Tosatto, Silvano and Boella, Guido and van der Torre, Leendert and Villata, Serena},
  Booktitle                = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning},
  Year                     = {2012},
  Pages                    = {358-368},

  __markedentry            = {[diego.ambrossio:6]},
  Abstract                 = {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.},
  Date-added               = {2013-01-10 18:34:59 +0100},
  Date-modified            = {2013-01-10 18:35:04 +0100},
  ISBN                     = {978-1-57735-561-8},
  Language                 = {English},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser