Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
An Embedding of Input-Output Logic in Deontic Logic Programs
2012
rgon:jja:deon2012
-
In proceedings
R. Gonçalves, José Júlio Alferes
Thomas {\AA}gotnes, Jan Broersen, Dag Elgesem
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Lecture Notes in Computer Science
Springer
-
7393
61-75
-
-
-
-
Export formats
R. Gonçalves and José Júlio Alferes, An Embedding of Input-Output Logic in Deontic Logic Programs, in: Thomas {\AA}gotnes and Jan Broersen and Dag Elgesem (eds), Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 7393, Pag. 61-75, 2012.
<a href="/people/members/view.php?code=855d4cc45b6396858cd0838dd42db58f" class="author">R. Gonçalves</a> and <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <b>An Embedding of Input-Output Logic in Deontic Logic Programs</b>, in: Thomas {\AA}gotnes, Jan Broersen and Dag Elgesem (eds), <u>Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 7393, Pag. 61-75, 2012.
@inproceedings {rgon:jja:deon2012, author = {R. Gon\c{c}alves and Jos{\'e} J{\'u}lio Alferes}, editor = {Thomas {\AA}gotnes and Jan Broersen and Dag Elgesem}, title = {An Embedding of Input-Output Logic in Deontic Logic Programs}, booktitle = {Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {7393}, pages = {61-75}, year = {2012}, }
Publication's urls
/publications/view.php?code=8d1a44ca23213130e922702f7c733d99
/publications/view.php?code=rgon:jja:deon2012
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT