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
Decidability and implementation of parametrized logic programs
September 2013
rgon:jja:13a
-
In proceedings
R. Gonçalves, José Júlio Alferes
Tran Cao Son, Pedro Cabalar
Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, September 15-19, 2013
LNCS
Springer
-
8148
361-373
-
-
-
-
Export formats
R. Gonçalves and José Júlio Alferes, Decidability and implementation of parametrized logic programs, in: Tran Cao Son and Pedro Cabalar (eds), Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, September 15-19, 2013, LNCS, Springer, Vol. 8148, Pag. 361-373, September 2013.
<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>Decidability and implementation of parametrized logic programs</b>, in: Tran Cao Son and Pedro Cabalar (eds), <u>Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, September 15-19, 2013</u>, LNCS, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 8148, Pag. 361-373, September 2013.
@inproceedings {rgon:jja:13a, author = {R. Gon\c{c}alves and Jos{\'e} J{\'u}lio Alferes}, editor = {Tran Cao Son and Pedro Cabalar}, title = {Decidability and implementation of parametrized logic programs}, booktitle = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, September 15-19, 2013}, series = {LNCS}, publisher = {Springer}, volume = {8148}, pages = {361-373}, month = {September}, year = {2013}, }
Publication's urls
/publications/view.php?code=6378b0712dad91954bb14bd4b5f5f887
/publications/view.php?code=rgon:jja:13a
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