Spock: A debugging support tool for logic programs under the answer-set semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5437 LNAI, Issue , 2009, Pages 247-252

  Gebser, Martin ^a   Pührer, Jörg ^b   Schaub, Torsten ^a   Tompits, Hans ^b   Woltran, Stefan ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; ANSWER-SET PROGRAMMING; DEBUGGING PROCESS; DEBUGGING SUPPORT; LOGIC PROGRAMS; PROGRAM DEVELOPERS; PROGRAMMING PARADIGMS; SET SEMANTICS; SOLVING ALGORITHM; SOLVING METHOD; TRACING TECHNIQUE;

KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING; SEMANTICS;

PROGRAM DEBUGGING;

EID: 70350635696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00675-3_17     Document Type: Conference Paper

References (16)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Brain, M., De Vos, M.: Debugging Logic Programs under the Answer Set Semantics. In: Proc. ASP 2005, EUR Workshop Proceedings (CEUR-WS.org), vol. 142, pp. 141-152 (2005)
3. Syrjänen, T.: Debugging Inconsistent Answer Set Programs. In: Proc. NMR 2006, pp. 77-83 (2006)
4. Pontelli, E., Son, T.C.: Justifications for Logic Programs under Answer Set Semantics. In: Etalle, S., Truszczynski, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 196-210. Springer, Heidelberg (2006)
5. Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 31-43. Springer, Heidelberg (2007)
6. Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H.,Woltran, S.: That is Illogical Captain- The Debugging Support Tool spock for Answer-Set Programs: System Description. In: Proc. SEA 2007, pp. 71-85 (2007)
7. Delgrande, J., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. Theory and Practice of Logic Programming 3, 129-187 (2003)
8. Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Artificial Intelligence 157, 115-137 (2004)
9. Clark, K.: Negation as Failure. In: Logic and Data Bases, pp. 293-322. Plenum Press (1978)
10. GNU General Public License - Version 2, June 1991. Free Software Foundation Inc. (1991), http://www.gnu.org/copyleft/gpl.html
11. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACMTransactions on Computational Logic 7, 499-562 (2006)
12. Simons, P., Niemelä, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. Artificial Intelligence 138, 181-234 (2002)
13. Pührer, J.: On Debugging of Propositional Answer-Set Programs. Master's thesis, Vienna University of Technology, Austria (2007)
14. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A Meta-Programming Technique for Debugging Answer-Set Programs. In: Proc. AAAI 2008 (2008)
15. Roychoudhury, A., Ramakrishnan, C., Ramakrishnan, I.: Justifying Proofs using Memo Tables. In: Proc. PPDP 2000, 178-189 (2000)
16. Specht, G.: Generating Explanation Trees even for Negations in Deductive Database Systems. In: Proc. LPE 1993, pp. 8-13 (1993)