"That is illogical captain!" - The debugging support tool spock for answer-set programs: System description

CEUR Workshop Proceedings

Volumn 281, Issue , 2007, Pages 71-85

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

^a University of Bath   (United Kingdom)

^b UNIVERSITY OF POTSDAM   (Germany)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER-SET PROGRAMMING; DEBUGGING PROCESS; DEBUGGING STRATEGIES; DEBUGGING SUPPORT; DECLARATIVE PROBLEM SOLVING; LARGE PROGRAMS; PROGRAMMING PARADIGMS; SYSTEM DESCRIPTION;

LOGIC PROGRAMMING; SOFTWARE ENGINEERING; TOOLS;

APPLICATION PROGRAMS;

EID: 84872002758     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
2. 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.: Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR' 07). Springer-Verlag (2007) 31-43
3. Delgrande, J., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming 3(2) (2003) 129-187
4. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2) (2002) 181-234
5. Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence 157(1-2) (2004) 115-137
6. Clark, K.: Negation as failure. In Gallaire, H., Minker, J., eds.: Logic and Data Bases. Plenum Press (1978) 293-322
7. Free Software Foundation Inc.: GNU General Public License - Version 2, June 1991 (1991) http://www.gnu.org/copyleft/gpl.html
8. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3) (2006) 499-562
9. Syrjänen, T.: Debugging inconsistent answer set programs. In Dix, J., Hunter, A., eds.: Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR'06). Number IFI-06-04 in Technical Report Series, Clausthal University of Technology, Institute for Informatics (2006) 77-83
10. Brain, M., De Vos, M.: Debugging logic programs under the answer set semantics. In De Vos, M., Provetti, A., eds.: Proceedings of the 3rd International Workshop on Answer Set Programming (ASP'05). CEUR Workshop Proceedings (2005) 141-152
11. Pontelli, E., Son, T.: Justifications for logic programs under answer set semantics. In Etalle, S., Truszczyński, M., eds.: Proceedings of the 22nd International Conference on Logic Programming (ICLP'06). Springer-Verlag (2006) 196-210
12. Roychoudhury, A., Ramakrishnan, C., Ramakrishnan, I.: Justifying proofs using memo tables. In: Proceedings of the 2nd ACMSIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'00). (2000) 178-189
13. Pemmasani, G., Guo, H., Dong, Y., Ramakrishnan, C., Ramakrishnan, I.: Online justification for tabled logic programs. In Kameyama, Y., Stuckey, P., eds.: Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS'04). Springer-Verlag (2004) 24-38
14. Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Proceedings of the 5thWorkshop on Logic Programming Environments (LPE'93). (1993) 8-13
15. El-Khatib, O., Pontelli, E., Son, T.: ASP-PROLOG:A system for reasoning about answer set programs in Prolog. In Delgrande, J., Schaub, T., eds.: Proceedings of the 10th International Workshop on Nonmonotonic Reasoning (NMR'04). (2004) 155-163