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
Runtime Addition of Integrity Constraints in Abductive Logic Programs
July 2010
iclp2010-sciffd
-
In proceedings
Marco Alberti, Marco Gavanelli, Evelina Lamma
Manuel Hermenegildo, Torsten Schaub
Technical Communications of the 26th International Conference on Logic Programming
Leibniz International Proceedings in Informatics (LIPIcs)
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Dagstuhl, Germany
7
-
978-3-939897-17-0
1868-8969
-
http://drops.dagstuhl.de/opus/volltexte/2010/2616
Export formats
Marco Alberti and Marco Gavanelli and Evelina Lamma, Runtime Addition of Integrity Constraints in Abductive Logic Programs, in: Manuel Hermenegildo and Torsten Schaub (eds), Technical Communications of the 26th International Conference on Logic Programming, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, Vol. 7, ISBN 978-3-939897-17-0, ISSN 1868-8969, (http://drops.dagstuhl.de/opus/volltexte/2010/2616), July 2010.
<a href="/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1" class="author">Marco Alberti</a>, Marco Gavanelli and Evelina Lamma, <b>Runtime Addition of Integrity Constraints in Abductive Logic Programs</b>, in: Manuel Hermenegildo and Torsten Schaub (eds), <u>Technical Communications of the 26th International Conference on Logic Programming</u>, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, Vol. 7, ISBN 978-3-939897-17-0, ISSN 1868-8969, (<a href="http://drops.dagstuhl.de/opus/volltexte/2010/2616" target="_blank">url</a>), July 2010.
@inproceedings {iclp2010-sciffd, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma}, editor = {Manuel Hermenegildo and Torsten Schaub}, title = {Runtime Addition of Integrity Constraints in Abductive Logic Programs}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, publisher = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, volume = {7}, isbn = {978-3-939897-17-0}, issn = {1868-8969}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2616}, month = {July}, year = {2010}, }
Publication's urls
/publications/view.php?code=f165817230b9ac9a35d76c5fd3c53368
/publications/view.php?code=iclp2010-sciffd
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