Abstract Normative Systems: Semantics and Proof Theory (bibtex)
by S. Colombo Tosatto, G. Boella, L. van der Torre, S. 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 (S. Colombo Tosatto, G. Boella, L. van der Torre, S. Villata), 2012.
Bibtex Entry:
@Other{10993/12970,
  Title                    = {Abstract Normative Systems: Semantics and Proof Theory},
  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.},
  Author                   = {Colombo Tosatto, S. and Boella, G. and van der Torre, L. and Villata, S.},
  Timestamp                = {2015.01.26},
  Year                     = {2012}
}
Powered by bibtexbrowser