New version for AIMA2020 course