Catching the Ouroboros: On debugging non-ground answer-set programs

Theory and Practice of Logic Programming

Volumn 10, Issue 4-6, 2010, Pages 513-529

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

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

answer set programming; debugging; program analysis

Indexed keywords

ANSWER SET; ANSWER-SET PROGRAMMING; DEBUGGERS; DEBUGGING; INTEGER ARITHMETIC; META PROGRAMMING; PROGRAM ANALYSIS;

PROGRAM INTERPRETERS;

PROGRAM DEBUGGING;

EID: 77957223042     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000256     Document Type: Conference Paper

References (19)

1. BRAIN, M. and DE VOS, M. 2005. Debugging logic programs under the answer-set semantics. In Proceedings of the 3rd Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP'05), Bath, UK, July 27-29, 2005. CEUR Workshop Proceedings, vol. 142. CEUR-WS.org, Aachen, Germany.
2. BRAIN, M., GEBSER, M., PüHRER, J., SCHAUB, T., TOMPITS, H., and WOLTRAN, S. 2007. Debugging ASP programs by means of ASP. In Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA, May 15-17, 2007, C. Baral, G. Brewka, and J. S. Schlipf, Eds. Lecture Notes in Computer Science, vol. 4483. Springer, Berlin, 31-43.
3. CABALLERO, R., GARCíA-RUIZ, Y., and SÁ ENZ-PÉREZ, F. 2008. A theoretical framework for the declarative debugging of datalog programs. In Revised Selected Papers of the 3rd International Workshop on Semantics in Data and Knowledge Bases (SDKB'08), Nantes, France, March 29, 2008, K.-D. Schewe and B. Thalheim, Eds. Lecture Notes in Computer Science, vol. 4925. Springer, Berlin, 143-159.
4. CHEN, Y., LIN, F., WANG, Y., and ZHANG, M. 2006. First-order loop formulas for normal logic programs. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), Lake District, UK, June 2-5, 2006, P. Doherty, J. Mylopoulos, and C. A. Welty, Eds. AAAI Press, Menlo Park, CA, 298-307.
5. DENECKER, M., VENNEKENS, J., BOND, S., GEBSER, M., and TRUSZCZYNSKI, M. 2009. The second answer set programming competition. In Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, E. Erdem, F. Lin, and T. Schaub, Eds. Lecture Notes in Computer Science, vol. 5753. Springer, Berlin, 637-654.
6. EITER, T., FABER, W., FINK, M., PFEIFER, G., and WOLTRAN, S. 2004. Complexity of model checking and bounded predicate arities for non-ground answer set programming. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), Whistler, Canada, June 2-5, 2004, D. Dubois, C. A. Welty, and M.-A. Williams, Eds. AAAI Press, Menlo Park, CA, 377-387.
7. EITER, T., GOTTLOB, G., and MANNILA, H. 1997. Disjunctive datalog. ACM Transactions on Database Systems 22, 3 (Sept.), 364-418. (Pubitemid 127483103)
8. GEBSER, M., Pü HRER, J., SCHAUB, T., and TOMPITS, H. 2008. A meta-programming technique for debugging answer-set programs. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, IL, July 13-17, 2008, D. Fox and C. P. Gomes, Eds. AAAI Press, Menlo Park, CA, 448-453.
9. GEBSER, M., PüHRER, J., SCHAUB, T., TOMPITS, H., and WOLTRAN, S. 2009. spock: A debugging support tool for logic programs under the answer-set semantics. In Revised Selected Papers of the 17th International Conference on Applications of Declarative Programming and Knowledge Management and the 21st Workshop on Logic Programming (INAP'07/WLP'07), W ürzburg, Germany, October 4-6, 2007, D. Seipel, M. Hanus, and A. Wolf, Eds. Lecture Notes in Computer Science, vol. 5437. Springer, Berlin, 247-252.
10. GELFOND, M. and LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3/4, 365-386.
11. LEE, J. 2005. A model-theoretic counterpart of loop formulas. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, July 30-August 5, 2005, L. P. Kaelbling and A. Saffiotti, Eds. Professional Book Center, Denver, CO, 503-508.
12. LEE, J. and MENG, Y. 2008. On loop formulas with variables. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Sydney, Australia, September 16-19, 2008, G. Brewka and J. Lang, Eds. AAAI Press, Menlo Park, CA, 444-453.
13. LEONE, N., RULLO, P., and SCARCELLO, F. 1997. Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Information and Computation 135, 2, 69-112. (Pubitemid 127452754)
14. LIN, F. and ZHAO, Y. 2004. ASSAT: Computing answer sets of a logic program with SAT solvers. Artificial Intelligence 157, 1-2, 115-137.
15. MIKITIUK, A., MOSELEY, E., and TRUSZCZYNSKI, M. 2007. Towards debugging of answer-set programs in the language PSpb. In Proceedings of the 2007 International Conference on Artificial Intelligence (ICAI'07), vol. II, Las Vegas, NV, June 25-28, 2007, H. R. Arabnia, M. Q. Yang, and J. Y. Yang, Eds. CSREA Press, Bogart, GA, 635-640.
16. OETSCH, J., Pü HRER, J., and TOMPITS, H. 2010. Methods and methodologies for developing answer-set programs-Project description. In Technical Communications of the 26th International Conference on Logic Programming (ICLP'10), M. Hermenegildo and T. Schaub, Eds. Leibniz International Proceedings in Informatics (LIPIcs), vol. 7. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany.
17. PONTELLI, E., SON, T. C., and EL-KHATIB, O. 2009. Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming 9, 1, 1-56. (Pubitemid 44492591)
18. SYRJä NEN, T. 2006. Debugging inconsistent answer set programs. In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR'06), Lake District, UK, May 30-June 1, 2006, J. Dix and A. Hunter, Eds. Institut für Informatik, Technische Universität Clausthal, Techical Report, Clausthal, Germany, 77-83.
19. WITTOCX, J., VLAEMINCK, H., and DENECKER, M. 2009. Debugging for model expansion. In Proceedings of the 25th International Conference on Logic Programming (ICLP'09), Pasadena, CA, USA, July 14-17, 2009, P. M. Hill and D. S. Warren, Eds. Lecture Notes in Computer Science, vol. 5649. Springer, Berlin, 296-311.