Designing logic-based robots - Trevizan, Felipe Werndl; Barros, Leliane Nunes de; Silva, Flávio Soares Corrêa da (Inteligencia Artificial, 2006)