Bratko, Ivan

Ivan Bratko se je rodil se je 10. junija 1946 v Ljubljani. 1970 je diplomiral na Fakulteti za elektrotehniko Univerze v Ljubljani, 1975 magistriral iz elektrotehniških znanosti, 1978 doktoriral iz računalniških znanosti na Fakulteti za elektrotehniko Univerze v Ljubljani. 1989 je bil izvoljen v naziv redni profesor za področje računalništva in informatike na Univerzi v Ljubljani.
Raziskovalno delo Ivana Bratka sodi na področje računalništva, natančneje umetne inteligence. Je utemeljitelj raziskav iz umetne inteligence v Sloveniji. Ukvarjal se je s temami iz naslednjih ožjih področij: strojno učenje, hevristične metode, programiranje v logiki in kvalitativno modeliranje. Bil je mentor pri več kot 30 doktoratih.
1970–75 je bil redno zaposlen na Institutu Jožef Stefan, od 1975 pa na Univerzi v Ljubljani na Fakulteti za elektrotehniko in Fakulteti za računalništvo in informatiko. Od 1985 vodi Laboratorij za umetno inteligenco na Fakulteti za računalništvo in informatiko. 1996–2002 je vodil tudi Odsek za inteligentne sisteme na Institutu Jožef Stefan. Delal je kot gostujoči profesor ali znanstvenik na Machine Intelligence Research Unit Univerze v Edinburghu, Turingovem Institutu in Univerzi Strathclyde v Glasgowu, na Sydney University in University of New South Wales, Sydney, Avstralija, na tehniški univerzi v Delftu, Nizozemska, na univerzah v Paviji, Udinah, Celovcu, politehniški univerzi v Madridu idr. Bil je predsednik organizacije ISSEK (International School for the Synthesis of Expert Knowledge s sedežem v Udinah, Italija), predsednik društva SLAIS (Slovenian AI Society) in slovenski predstavnik v ECCAI (European Coordinating Committee for Artificial Intelligence), član Scientific Advisory Committee pri IFIP TC-12, član mednarodnega odbora ECCAI Board. Od 1993 je član društva SATENA in od 1999 redni član IAS. Od 2003 je redni član SAZU. 2000 je bil izvoljen v naziv Fellow of ECCAI, 2010 pa sprejet v akademijo Academia Europaea. Bil član uredniških odborov vrste revij iz področja umetne intelligence. Med drugim je prejel naslednje nagrade in priznanja: 1985 nagrada Sklada Borisa Kidriča; 1991, priznanje ambasador znanosti Republike Slovenije; 2007 Zoisova nagrada za vrhunske znanstvene dosežke.

Knjige
BRATKO, Ivan. Prolog Programming for Artificial Intelligence; četrta izdaja, Pearson Education 2011. Tretja izdaja 2001; druga izdaja, Addison-Wesley 1990; prva izdaja 1986. Prevedeno v: nemščino, italijanščino, francoščino, slovenščino, japonščino, ruščino.
MICHALSKI, Ryszard S., BRATKO, Ivan , KUBAT, Miroslav (ur.). Machine Learning and Data Mining: Methods and Applications. J. Wiley & Sons, 1998.
BRATKO, Ivan, MOZETIČ, Igor, LAVRAČ, Nada. KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. Cambridge, Massachusetts: MIT Press, 1989.
BRATKO, Ivan, RAJKOVIČ, Vladislav. Računalništvo s programskim jezikom pascal. Ljubljana, Državna Založba Slovenije, 1984.

Članki v znanstvenih revijah in poglavja v knjigah
NAU, Dana S., LUŠTREK, Mitja, PARKER, Austin, BRATKO, Ivan, GAMS, Matjaž. When is it better not to look ahead? Artificial Intelligence 174 (2010) str. 1323–1338.
BRATKO, Ivan, ŽABKAR, Jure, MOŽINA, Martin. Argument Based Machine Learning. V knjigi: Argumentation in Artificial Intelligence, ur. Iyad Rahwan, Guillermo Simari, Springer Verlag 2009, str. 463–482.
MOŽINA, Martin, ŽABKAR, Jure, BRATKO, Ivan. Argument based machine learning. Artificial Intelligence. Vol. 171, no. 10/15, str. 922–937 (2007).
LUŠTREK, Mitja, GAMS, Matjaž, BRATKO, Ivan. Is real-valued minimax pathological?. Artificial Intelligence. Vol. 170, str. 620–642 (2006).
LEBAN, Gregor, ZUPAN, Blaž, VIDMAR, Gaj, BRATKO, Ivan. VizRank : data visualization guided by machine learning. Data mining and Knowledge Discovery, Vol. 13, no. 2, str. 119–136 (2006).
GUID, Matej, BRATKO, Ivan. Computer analysis of world chess champions. ICGA Journal, Vol. 29, no. 2, str. 65–73, (2006).
SADIKOV, Aleksander, BRATKO, Ivan. Learning long-term chess strategies from databases. Machine Learning. Vol. 63, no. 3, str. 329–340 (2006).
ŠUC, Dorian, VLADUŠIČ, Daniel, BRATKO, Ivan. Qualitatively faithful quantitative prediction. Artificial Intelligence, 2004, Vol. 158, no. 2, str. 189–214.
ZUPAN, Blaž, DEMŠAR, Janez, BRATKO, Ivan, JUVAN, Peter, HALTER, John A., KUSPA, Adam, SHAULSKY, Gad. GenePath : a system for automated construction of genetic networks from mutant data. Bioinformatics, Vol. 19 (2003), no. 3, str. 383–389.
ŠUC, Dorian, BRATKO, Ivan. Skill modeling through symbolic reconstruction of operator's trajectories. IEEE Trans. Syst. Man and Cybernetics, Part A, Syst. humans, Vol. 30 (2000), no. 6, str. 617–624.
BRATKO, Ivan, URBANČIČ, Tanja. Control skill, machine learning and hand-crafting in controller design. In: Furukawa, K., Michie, D., Muggleton, S. (ur.) Machine Intelligence 15: Intelligent Agents. Oxford: Oxford University Press, 1999, str. 130–153.
KARALIČ, Aram, BRATKO, Ivan. First order regression. Machine Learning. Vol. 26 (1997), str. 147–176.
BRATKO, Ivan, MUGGLETON, Stephen. Applications of inductive logic programming. Commun. ACM, Vol. 38 (1995), str. 65–70.
BRATKO, Ivan. Applications of machine learning: towards knowledge synthesis. New generation Computing, Vol. 11 (1993), str. 343–360.
BRATKO, Ivan, MOZETIČ, Igor, LAVRAČ, Nada. Automatic synthesis and compression of cardiological knowledge. In: Hayes, J. E., Michie, D., Richards, J. (ur.) Machine Intelligence 11: Logic and the Aquisition of Kowledge. Oxford: Clarendon Press, 1988, str. 435–454.
BRATKO, Ivan. Knowledge-based problem-solving in AL3. In: Machine Intelligence 10 (Hayes, J., Michie, D., Pao, J.H., ur.), Ellis Hoorwood and Wiley, 1982, str. 73–100.
BRATKO, Ivan, MICHIE, D. An advice program for a complex chess programming task. Computer Journal, Vol. 23 (1981), str. 353–359.
BRATKO, Ivan, GAMS, Matjaž. Error analysis of the minimax principle. In: Clarke, M.R.B. (ed.). Advances in Computer Chess. 3. Oxford: Pergamon Press, 1982, str. 1–15.
BRATKO, Ivan. Proving correctness of strategies in the AL1 assertional language. Information Processing Letters, 1978, Vol. 7 (1978), str. 223–230.

(februar 2011)

Bibliografija raziskovalca