A visual tracer for DLV

CEUR Workshop Proceedings

Volumn 546, Issue , 2009, Pages 79-93

  Calimeri, Francesco ^a   Leone, Nicola ^a   Ricca, Francesco ^a   Veltri, Pierfrancesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; BUG-FIXING; EVALUATION ALGORITHM; RECORDING INFORMATION; SUITABLE SOLUTIONS; SYSTEM OPTIMIZATIONS; TRACING METHOD;

GRAPHICAL USER INTERFACES; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

PROGRAM DEBUGGING;

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

References (10)

1. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL 7(3) (2006) 499-562
2. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3) (2001) 374-425
3. De Vos, M., Schaub, T., eds.: SEA'07: Software Engineering for Answer Set Programming. Volume 281., CEUR (2007) Online at http://CEUR-WS.org/Vol-281/.
4. Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. TPLP 9(1) (2009) 1-56
5. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A Meta-Programming Technique for Debugging Answer-Set Programs. In: AAAI'08, AAAI Press (2008) 448-453
6. Perri, S., Ricca, F., Terracina, G., Cianni, D., Veltri, P.: An integrated graphic tool for developing and testing DLV programs. In: Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA'07). (2007) 86-100
7. Syrjänen, T.: Debugging Inconsistent Answer Set Programs. In: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, Lake District, UK (2006) 77-84
8. Brain, M., De Vos, M.: Debugging Logic Programs under the Answer Set Semantics. In: Proceedings ASP05 - Answer Set Programming: Advances in Theory and Implementation, Bath, UK (2005)
9. Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: PPDP. (2000) 178-189
10. Ben-Eliyahu, R., Dechter, R.: Propositional Semantics for Disjunctive Logic Programs. AMAI 12 (1994) 53-87