摘要翻译：
本文介绍了答案集编程(ASP)的离线对齐的概念。正当性提供了一个基于图的原子W.R.T真值的解释。给定的答案集。本文还扩展了这一概念，在计算答案集时提供原子的对齐（在线对齐），并在Smodels计算模型中提出了在线对齐的集成。离线和在线证明为提高对ASP的理解提供了有用的工具，它们提供了基本的数据结构来支持调试答案集程序的方法和工具。在ASP-PROLOG中开发了一个初步的实现。（发表在逻辑程序设计理论与实践(TPLP)上）
---
英文标题：
《Justifications for Logic Programs under Answer Set Semantics》
---
作者：
Enrico Pontelli, Tran Cao Son, and Omar Elkhatib
---
最新提交年份：
2008
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science        计算机科学
二级分类：Programming Languages        程序设计语言
分类描述：Covers programming language semantics, language features, programming approaches (such as object-oriented programming, functional programming, logic programming). Also includes material on compilers oriented towards programming languages; other material on compilers may be more appropriate in Architecture (AR). Roughly includes material in ACM Subject Classes D.1 and D.3.
涵盖程序设计语言语义，语言特性，程序设计方法（如面向对象程序设计，函数式程序设计，逻辑程序设计）。还包括面向编程语言的编译器的材料；关于编译器的其他材料可能在体系结构(AR)中更合适。大致包括ACM主题课程D.1和D.3中的材料。
--

---
英文摘要：
  The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a given answer set. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification), and presents an integration of on-line justifications within the computation model of Smodels. Off-line and on-line justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for debugging answer set programs. A preliminary implementation has been developed in ASP-PROLOG.   (To appear in Theory and Practice of Logic Programming (TPLP))
---
PDF链接：
https://arxiv.org/pdf/0812.0790