- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (bibtex)
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}
}