Justifications for logic programming

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning
Subtitle of host publication12th International Conference, LPNMR 2013, Proceedings
EditorsPedro Cabalar
Pages530-542
Number of pages13
ISBN (Electronic)9783642405648
DOIs
Publication statusPublished - 22 Oct 2013
Event12th International Conference on Logic Programming and Nonmonotonic Reasoning - Corunna, Spain
Duration: 15 Sep 201319 Sep 2013
Conference number: 12
http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27190&copyownerid=20998 (Link to Conference Information)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8148 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR 2013
CountrySpain
CityCorunna
Period15/09/1319/09/13
Internet address

    Fingerprint

Cite this

Viegas Damásio, C., Analyti, A., & Antoniou, G. (2013). Justifications for logic programming. In P. Cabalar (Ed.), Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Proceedings (pp. 530-542). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8148 LNAI). https://doi.org/10.1007/978-3-642-40564-8_53