A logic-based agent that plans for extended reachability goals - Pereira, Silvio Lago; Barros, Leliane Nunes de (Autonomous Agents and Multi-Agent Systems, 2008)