Päättelystä argumentteihin Tehokkaiden päättelyjärjestelmien ansiosta vaikeita laskennallisia ongelmia voidaan ratkaista eksaktisti. Palkitussa väitöskirjassa kehitetään automatisoidun päättelyn menetelmiä laskennallisen ar... tekoäly väitöskirjapalkinto 5.1.2022