József Attila University, Szeged, Hungary

Short description

The main goal of the ILP is to learn logic programs from (positive and negative) examples. We developed a new kind of algorithmic debugging algorithm, IDTS and succesfully combined it with other learning methods . Then we began to develop our own learning method IMPUT that is based on the unfolding transformation of logic programs. It was quite a similar to SPECTRE developed by Henrik Boström at the Stockholm University. and we use it by the classifying biomedical patterns PECG.

Our team includes: Tibor Gyimóthy Ph.D (as leader), Zoltán Alexin, Tamás Horváth, Gabriella Kókai and György Turán.

We have several publications in this field.

We were given an opportunity to join to an ESPRIT project in 1993. The first three year long project is now finished. Thanks to our hard work, we are also involved in the next ILP2 project. More about ILP can you find here

Publication List (ILP)

Horváth, T., Gyimóthy, T., Alexin, Z., Kocsis F.:
Interactive Diagnosis and Testing of Logic Programs
in Proc. of the Third Finnish-Estonian-Hungarian Symposium on Programming Languages and Software Tools Kääriku, Estonia, (1993) pp 34-46
Paakki, J., Gyimóthy, T., Horváth, T.:
Effective Algorithic Debugging for Inductive Logic Programming
presented in the ILP94 Workshop, Bonn, Germany, (1994)
Alexin, Z., Gyimóthy, T., Boström, H.:
Interactive Multiple Predicate Revision based on Unfolding Transformation
not appeared.
Alexin, Z., Gyimóthy, T., Boström, H.:
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner
in Proc. of the Fifth International Workshop on Inductive Logic Programming Leuven, Belgie, (1995) 437-452
Alexin, Z., Gyimóthy, T., Boström, H.:
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner
in Proc. of the 12th European Conference on Artificial Intelligence (ECAI96) Budapest, Hungary, (1996) 403-407 Published by: John Wiley & Sons, Ltd. (1996)
Alexin, Z., Gyimóthy, T., Boström, H.:
IMPUT: An Interactive Learning Tool based on Program Specialization
sumitted to the Intelligent Data Analysis Journal published by the Elsevier Ltd.
Alexin, Z., Csirik, J., Gyimóthy, T., Jelasity, M., Tóth, L.:
Learning Phonetic Rules in a Speech Recognition System
sumitted to ILP97 Worksh
Kókai, G., Alexin, Z., Kocsis, F.:
The IDT System and its Application for Learning Prolog Programs
in Proc. of the Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots, Smolenice Castle, Slovakia, 12-16 September 1994. Eds: Ivan Plender Worlds Scientific (1994) 315-320
Alexin, Z., Gyimóthy, T., Kókai, G.:
IDT: Integrated System for Debugging and Testing Prolog Programs
in Proc. of the Fourth Symposium on Programming Languages and Software Tools (Eds: László Varga) Visegrád, Hungary June 9-10, (1995) 312-323
Kókai, G., Alexin, Z., Gyimóthy, T.:
Classifying ECG Waveforms in Prolog
in Proc. of the Fourth International Conference on the Practical Application of Prolog London, UK. 23rd-25th April 1996 173-201
Alexin, Z., Gyimóthy, T., Kókai, G.:
IDT: Integrated System for Debugging and Testing Prolog Programs
accepted for publishing in the ELTE Annales
Kókai, G., Alexin, Z., Gyimóthy, T.:
Analyzing and Learning ECG Waveforms
in Proc. of The Sixth International Workshop on Inductive Logic Programming (ILP'96) Stockholm, Sweden 28-30 August, 1996 152-171 and in Lecture Notes in Artificial Intelligence subseries of Lecture Notes in Computer Science series Vol 1314 127-145 (1997) Springer Verlag
Kókai, G., Alexin, Z., Gyimóthy, T.:
Learning Biomedical Patterns
INAP-96 The 9th Exhibition and Symposium on Industrial Applications of Prolog 16-19 October 1996 Hino, Tokyo Japan 159-168
Kókai, G., Alexin, Z., Gyimóthy, T.:
Application of Inductive Logic Programming for Learning ECG Waveform
AIME'97 The 6th Conference on Artifical Intelligence in Medical Europa, 23rd - 26th March 1997 Grenoble, France, 126-130 proceeding was published in Lecture Notes in Artificial Intelligence 1211 subseries of Lecture Notes in Computer Science
Kókai, G., Alexin, Z., Gyimóthy, T.:
Learnig ECG Grammar
The Fifth Symposium on Programming Languages and Software Tools Jyvaskyla, Finland, June 7-8, 1997, 84-95
Kókai, G., Harmath, L., Gyimóthy, T.:
IDTS: a Tool for Debugging and Testing of Prolog Programs
LIRA'97, The 8th Conference on Logic and Computer Science, Novi Sad, Yugoslavia 1-4 September 1997, 103-110
Kókai, G., Csirik, J., Gyimóthy, T.:
Learning the Syntax and Semantic Rules of an ECG Grammar
AI*IA'97 Fifth Congress of the Italian Association for Artificial Intelligence Roma 16-19 September 1997 proceeding will be published in Lecture Notes in Artificial Intelligence subseries of Lecture Notes in Computer Science
Nilson, J., Kókai, G.:
A Graphical User Interface for an ECG Classifier System
21. Deutsche Jahrestagung für Künstliche Intelligenz Freiburg, 9-12 September 1997 proceeding will be published in Lecture Notes in Artificial Intelligence subseries of Lecture Notes in Computer Science, LNAI 1303, pages 397-400, Springer-Verlag, September 1997.
Kókai, G., Harmath, L., Gyimóthy, T.:
Algorithmic Debugging and Testing of Prolog Programs
ICLP '97 The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, 8-12 July 1997, 14-21

Last updated on 20 Nov, 1997.