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
Early Recovery in Logic Program Updates
2013
jleite:lpnmr13b
-
In proceedings
Martin Slota, Martin Balaz, João Alexandre Leite
Pedro Cabalar, Tran Cao Son
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Lecture Notes in Computer Science
Springer
-
8148
512-517
978-3-642-40563-1, 9
-
-
-
Export formats
Martin Slota and Martin Balaz and João Alexandre Leite, Early Recovery in Logic Program Updates, in: Pedro Cabalar and Tran Cao Son (eds), Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 512-517, 2013.
<a href="/people/members/view.php?code=ba97853dc6d77decebfb5c3058094b25" class="author">Martin Slota</a>, Martin Balaz and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <b>Early Recovery in Logic Program Updates</b>, in: Pedro Cabalar and Tran Cao Son (eds), <u>Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. 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. 8148, ISBN 978-3-642-40563-1, 9, Pag. 512-517, 2013.
@inproceedings {jleite:lpnmr13b, author = {Martin Slota and Martin Balaz and Jo{\~a}o Alexandre Leite}, editor = {Pedro Cabalar and Tran Cao Son}, title = {Early Recovery in Logic Program Updates}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {8148}, pages = {512-517}, isbn = {978-3-642-40563-1, 9}, year = {2013}, }
Publication's urls
/publications/view.php?code=34f37348c86829d5b21ef67d130445f8
/publications/view.php?code=jleite:lpnmr13b
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