Advanced study institute on artificial intelligence and heuristic programming