Stepping through an Answer-Set Program-Reference-Cited by-同舟云学术

Stepping through an Answer-Set Program

Published:2011 Issue: Volume: Page:134-147
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Oetsch Johannes,Pührer Jörg,Tompits Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20895-9_13

Reference14 articles.

1. Gelfond, M., Leone, N.: Logic programming and knowledge representation - the A-Prolog perspective. Artificial Intelligence 138(1-2), 3–38 (2002)

2. Lecture Notes in Artificial Intelligence;M. Brain,2007

3. Syrjänen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77–83 (2006)

4. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448–453. AAAI Press, Menlo Park (2008)

5. Oetsch, J., Pührer, J., Tompits, H.: Catching the Ouroboros: Towards debugging non-ground answer-set programs. Theory and Practice of Logic Programming 10(4-6), 513–529 (2010)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sorting Strategies for Interactive Conflict Resolution in ASP;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. Answering the “why” in answer set programming – A survey of explanation approaches;Theory and Practice of Logic Programming;2019-01-15

3. Argumentation-Based Explanations for Answer Sets Using ADF;Logic Programming and Nonmonotonic Reasoning;2019

4. Legal Debugging in Propositional Legal Representation;New Frontiers in Artificial Intelligence;2019

5. Stepwise debugging of answer-set programs;Theory and Practice of Logic Programming;2017-10-17