by L. Robaldo, X. Sun
Reference:
- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (L. Robaldo, X. Sun), In The Journal of Logic and Computation, 2017.
Bibtex Entry:
@InProceedings{pub35,
Title = {- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation},
Author = {L. Robaldo, and X. Sun},
Booktitle = {The Journal of Logic and Computation},
Year = {2017},
Url = {http://orbilu.uni.lu/handle/10993/31378}
}