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 = {http://orbilu.uni.lu/bitstream/10993/29526/1/RobaldoetalJURISIN2015.pdf}
}