Justifications for Logic Programs Under Answer Set Semantics

DOI10.1007/11799573_16zbMath1131.68393arXiv0812.0790OpenAlexW1535706669MaRDI QIDQ5449601

Enrico Pontelli, Tran Cao Son

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0812.0790

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Debugging for Model Expansion ⋮ The KB paradigm and its application to interactive configuration ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

Uses Software

• ASSAT
• Smodels

This page was built for publication: Justifications for Logic Programs Under Answer Set Semantics