Summary: Integrating Algorithmic Debugging and Unfolding
Transformation in an Interactive Learner
Zolt'an Alexin 1 , Tibor Gyim'othy 2 and Henrik Bostr¨om 3
1 Department of Applied Informatics
Attila J'ozsef University
'
Arp'ad t'er 2, H­6720 Szeged Hungary
Phone: (36) +(62) 310011 ext. 3818, Fax: (36) +(62) 312292
e­mail: alexin@inf.u­szeged.hu
2 Research Group on the Theory of Automata
Hungarian Academy of Sciences,
Aradi v'ertanuk tere 1, H­6720 Szeged Hungary
Phone­fax: (36) +(62) 312508
e­mail: gyimi@inf.u­szeged.hu.
3 Department of Computer and Systems Sciences
Stockholm University
Electrum 230, 164 40 Kista Sweden
e­mail: henke@dsv.su.se.
Abstract. The algorithm SPECTRE specializes logic programs with re­
spect to positive and negative examples by applying the transformation rule

Source: Alexin, Zoltán - Institute of Informatics, University of Szeged

Collections: Computer Technologies and Information Sciences