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
Justifications for Logic Programming
September 2013
DamasioAA13_LPNMR
Understanding why and how a given answer to a query is generated from a deductive or relational database is fundamental to obtain justifications, assess trust, and detect dependencies on contradictions. Propagating provenance information is a major technique that evolved in the database literature to address the problem, using annotated relations with values from a semiring. The case of positive programs/relational algebra is well-understood but handling negation (or set difference in relational algebra) has not been addressed in its full generality or has deficiencies. The approach defined in this work provides full provenance information for logic programs under the least model, well-founded semantics and answer set semantics, and is related to the major existing notions of justifications for all these logic programming semantics.
In proceedings
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, September 15-19, 2013. Proceedings
Lecture Notes in Computer Science
Springer
Corunna, Spain
8148
530-542
978-3-642-40563-1, 9
-
-
-
Export formats
Carlos Viegas Damásio and Anastasia Analyti and Grigoris Antoniou, Justifications for Logic Programming, , Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, September 15-19, 2013. Proceedings, Lecture Notes in Computer Science, Springer, Corunna, Spain, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 530-542, September 2013.
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, Anastasia Analyti and Grigoris Antoniou, <b>Justifications for Logic Programming</b>, <u>Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, 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>, Corunna, Spain, Vol. 8148, ISBN 978-3-642-40563-1, 9, Pag. 530-542, September 2013.
@inproceedings {DamasioAA13_LPNMR, author = {Carlos Viegas Dam{\'a}sio and Anastasia Analyti and Grigoris Antoniou}, title = {Justifications for Logic Programming}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Corunna, Spain}, volume = {8148}, pages = {530-542}, isbn = {978-3-642-40563-1, 9}, abstract = {Understanding why and how a given answer to a query is generated from a deductive or relational database is fundamental to obtain justifications, assess trust, and detect dependencies on contradictions. Propagating provenance information is a major technique that evolved in the database literature to address the problem, using annotated relations with values from a semiring. The case of positive programs/relational algebra is well-understood but handling negation (or set difference in relational algebra) has not been addressed in its full generality or has deficiencies. The approach defined in this work provides full provenance information for logic programs under the least model, well-founded semantics and answer set semantics, and is related to the major existing notions of justifications for all these logic programming semantics.}, month = {September}, year = {2013}, }
Publication's urls
/publications/view.php?code=cd25c6f2bc16b8c05830ff7545af7645
/publications/view.php?code=DamasioAA13_LPNMR
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