A planner agent that tries its best in presence of nondeterminism - Pereira, Silvio do Lago; Barros, Leliane Nunes de (Journal of Applied Logic, 2012)