An Embedding of Input-Output Logic in Deontic Logic Programs

Ricardo Gonçalves, José Júlio Alferes. An Embedding of Input-Output Logic in Deontic Logic Programs. In Thomas Ågotnes, Jan Broersen, Dag Elgesem, editors, Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Volume 7393 of Lecture Notes in Computer Science, pages 61-75, Springer, 2012. [doi]

Authors

Ricardo Gonçalves

This author has not been identified. Look up 'Ricardo Gonçalves' in Google

José Júlio Alferes

This author has not been identified. Look up 'José Júlio Alferes' in Google