| Title | Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner |
| Publication Type | Conference Paper |
| Year of Publication | 1996 |
| Authors | Alexin Z, Gyimóthy T, Boström H |
| Conference Name | Proceedings of the European Conference on Artificial Intelligence (ECAI'96) |
| Pagination | 403-407 |
| Keywords | SPECTRE algorithmic_debugging debugging ilp inductive_programming ip-system program_synthesis |
Page last modified: January 17, 2012