Combining Input/Output logic and Rei cation for representing real-world obligations

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Muthuri, Robert; Santos, Cristiana

Journal title: Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015). (2015).

Journal number: 16

Journal publisher: Springer

Published year: 2015