A delta debugger for ILP query execution

Proceedings of the 16th Workshop on Logic-based methods in Programming Environments, WLPE 2006

Volumn , Issue , 2006, Pages

  Tronçon, Remko ^a   Janssens, Gerda ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DATA MINING SYSTEM; DEBUGGERS; DELTA DEBUGGING; QUERY EXECUTION;

ALGORITHMS; DATA MINING; INDUCTIVE LOGIC PROGRAMMING (ILP);

PROGRAM DEBUGGING;

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

References (18)

1. ACE. The ACE data mining system, 2006. http://www.cs.kuleuven.be/̃dtai/ACE/.
2. H. Blockeel and L. De Raedt. Top-down induction of first order logical decision trees. Artificial Intelligence, 101(1-2):285-297, June 1998.
3. H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H. Vande-casteele. Improving the efficiency of Inductive Logic Programming through the use of query packs. Journal of Artificial Intelligence Research, 16:135-166, 2002. http://www.cs.kuleuven.be/cgi-bin-dtai/publ info.pl?id=36467.
4. T. W. Chan and A. Lakhotia. Debugging program failure exhibited by voluminous data. Journal of Software Maintenance, 10(2):111-150, 1998.
5. L. Dehaspe and H. Toivonen. Discovery of frequent datalog patterns. Data Mining and Knowledge Discovery, 3(1):7-36, 1999.
6. The developmental therapeutics program. U.S. Departement of Health and Human Services NIH, National Cancer Institute NCI. http://dtp.nci.nih.gov.
7. M. Ducassé. Coca: an automated debugger for c. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 504-513. IEEE Computer Society Press, 1999.
8. M. Ducassé. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999. Special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds), Also Rapport de recherche INRIA RR-3257 and Publication Interne IRISA PI-1127.
9. U. Fayyad and R. Uthurusamy. Data mining and knowledge discovery in databases. Communications of the ACM, 39(11), 1996.
10. hipP. hipP: A high performance Prolog system, 2006. http://www.cs.kuleuven.be/̃dtai/hipp/.
11. S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3-4):245-286, 1995.
12. S. Muggleton and L. D. Raedt. Inductive Logic Programming: Theory and meth-ods. Journal of Logic Programming, 19/20:629-679, 1994.
13. J. Quinlan. Learning logical definitions from relations. 5:239-266, 1990.
14. A. Srinivasan, S. Muggleton, M. Sternberg, and R. King. Theories for muta-genicity: A study in first-order and feature-based induction. Artificial Intelligence, 85(1,2):277-299, 1996.
15. R. Tronçon and G. Janssens. Analyzing and debugging ILP data min-ing query execution. In Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, pages 105-109. ACM Press, 2005. http://www.cs.kuleuven.be/cgi-bin-dtai/publ info.pl?id=41742.
16. R. Tronçon, G. Janssens, B. Demoen, and H. Vandecasteele. Fast frequent quering with lazy control flow compilation. Theory and Practice of Logic Programming, 2006. http://www.cs.kuleuven.be/cgi-bin-dtai/publ info.pl?id=41995.
17. R. Tronçon, H. Vandecasteele, J. Struyf, B. Demoen, and G. Janssens. Query optimization: Combining query packs and the once-tranformation. In Induc-tive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hun-gary, Short Presentations, pages 105-115, 2003. http://www.cs.kuleuven.be/cgi-bin-dtai/publ info.pl?id=40938.
18. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. Software Engineering, 28(2):183-200, 2002. http://www.st.cs.uni-sb.de/papers/tse2002/.