- Combining Input/Output logic and Reification for representing real-world obligations (bibtex)
by Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Reference:
- Combining Input/Output logic and Reification for representing real-world obligations (Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri), In Proceedings of the Ninth International Workshop on Juris-informatics (JURISIN 2015), 2015.
Bibtex Entry:
@InProceedings{pub1,
  Title                    = {- Combining Input/Output logic and Reification for representing real-world obligations},
  Author                   = {Livio Robaldo and Llio Humphreys and Xin Sun and Loredana Cupi and Cristiana Santos and Robert Muthuri},
  Booktitle                = {Proceedings of the Ninth International Workshop on Juris-informatics (JURISIN 2015)},
  Year                     = {2015},
  Url                      = {publications/RobaldoetalJURISIN2015.pdf}
}