Madeira A, Neves R, Barbosa LS, Martins M.? 2014.??Logics for robotics? AIP Conference Proceedings.