Ivan Bratko (računalnikar)

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje
Za druge ljudi s tem imenom glej Ivan Bratko.
Ivan Bratko (računalnikar)
Rojstvo 10. junij 1946({{padleft:1946|4|0}}-{{padleft:6|2|0}}-{{padleft:10|2|0}}) (71 let)
Ljubljana
Državljanstvo Flag of Slovenia.svg Slovenija
Poklic računalnikar, inženir

Ivan Bratko, slovenski računalnikar in akademik, * 10. junij 1946, Ljubljana.

Bratko je doktoriral iz računalniških znanosti (Univerza v Ljubljani 1978) in je od leta 1989 redni profesor na Fakulteti za računalništvo in informatiko, kjer predava predmete iz umetne inteligence, programskih jezikov in programiranja na dodiplomskem in podiplomskem študiju. Delal je tudi kot gostujoči profesor ali znanstvenik na tujih univerzah. Od leta 2003 je redni član SAZU.

Ukvarja se z raziskovalnim delom na področju umetne inteligence (strojno učenje, hevristično programiranje, nepostopkovno programiranje, kvalitativno modeliranje, avtomatizirana sinteza znanja).

Bibliografija[uredi | uredi kodo]

  • Bratko, Ivan. Prolog Programming for Artificial Intelligence, 3rd edition. Pearson Education / Addison-Wesley, 2001 (prva izdaja 1986, druga izdaja 1990) (COBISS) (Prevodi: nemški, italijanski, francoski, slovenski, japonski, ruski)
  • Bratko, Ivan, Igor Mozetič, Nada Lavrač. KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. Cambridge, Massachusetts, MIT Press, 1989

Zunanje povezave[uredi | uredi kodo]
Zoisova nagrada za
življenjsko delo
Aleksandra Kornhauser in Nace Šumi (1997) • Zmaga Kumer (1998) • France Bernik (1999) • Vinko Kambič in Stane Gabrovec (2000) • Janko Kos (2001) • Mirko Ramovš (2002) • Franc Vodopivec (2003) • Davorin Dolar in Dušan Ferluga (2004) • Miha Tišler in Jože Maček (2005) • Jože Toporišič (2006) • Janez Orešnik (2007) • Robert Blinc in Ignacij Voje (2008) • Alojz Kralj (2009) • Kajetan Gantar (2010) • Gabrijel Kernel in Boris Žemva (2011) • Blaž Rozman (2012) • Zinka Zorko (2013) • Vito Turk in Janez Levec (2014) • Peter Fajfar (2015) • Uroš Skalerič in Branko Stanovnik (2016)
Zoisova nagrada za vrhunske
dosežke na področju
znanstvenoraziskovalne
in razvojne dejavnosti
Franc Gubenšek, Venčeslav Kaučič, Robert Zorec, Marko Robnik in Dušan Repovš (1997) • Vito Turk (1998) • Rudi Podgornik, Tatjana Avšič Županc in Bojan Magajna (1999) • Marko Andrej Zupan, Stojan Stavber in Slavko Splichal (2000) • Marijan Pavčnik, Leopold Škerget in Matjaž Omladič (2001) • Jože Vižintin, Dragan Marušič in Dragan D. Mihailović (2002) • Dean Komel, Drago Matko in Boris Sket (2003) • Marko Mikuž, Danilo Zavrtanik, Božo Plesničar (2004) • Tomaž Prosen in Dušan Turk (2005) • Marjeta Šašel Kos, Marija Kosec, Željko Knez (2006) • Svjetlana Fajfer, Sandi Klavžar in Ivan Bratko (2007) • Peter Križan in Marko Topič (2008) • Igor Muševič, Marko Jesenšek in Roman Jerala (2009) • Janez Kranjc in Janez Dolinšek (2010) • Gabrijel Kernel, Boris Žemva, Matjaž Klemenčič, Vladimir Klemenčič, Boris Turk (2011) • Janez Bonča, Tadej Battelino, Matjaž Valant (2012) • Janko Kos, Dušanka Janežič, Miran Gaberšček (2013) • Milena Horvat in Gorazd Meško (2014) • Mitjan Kalin, Tomaž Pisanski, Borut Štrukelj (2015) • Janko Prunk in Božidar Šarlet (2016)
Normativna kontrola
Vzpostavljeno iz »https://sl.wikipedia.org/w/index.php?title=Ivan_Bratko_(računalnikar)&oldid=4867078«