Algorithms for Basic Compliance Problems (bibtex)
by Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leender van der Torre
Abstract:
The present paper focus on the problems to verify compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study this fragment of compliance, such as processes and obligations. Afterwards we define the procedures and the algorithms to efficiently deal with this fragment of the compliance problem. Both algorithms proposed in the paper belongs to the P complexity class.
Reference:
Algorithms for Basic Compliance Problems (Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leender van der Torre), In Benelux conference on Artificial Intelligence (BNAIC), 2012.
Bibtex Entry:
@InProceedings{ColomboTosatto2012,
  Title                    = {Algorithms for Basic Compliance Problems},
  Author                   = {Colombo Tosatto, Silvano and El Kharbili, Marwane and Governatori, Guido and Kelsen, Pierre and Ma, Qin and van der Torre, Leender},
  Booktitle                = {Benelux conference on Artificial Intelligence (BNAIC)},
  Year                     = {2012},

  __markedentry            = {[diego.ambrossio:6]},
  Abstract                 = {The present paper focus on the problems to verify compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study this fragment of compliance, such as processes and obligations. Afterwards we define the procedures and the algorithms to efficiently deal with this fragment of the compliance problem. Both algorithms proposed in the paper belongs to the P complexity class.},
  Date-added               = {2013-01-10 18:31:36 +0100},
  Date-modified            = {2013-01-10 18:31:54 +0100},
  Language                 = {English},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser