Justifications for logic programming

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Citations (Scopus)


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
Number of pages13
ISBN (Electronic)9783642405648
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


Conference12th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR 2013
Internet address


Dive into the research topics of 'Justifications for logic programming'. Together they form a unique fingerprint.

Cite this