Advances In Logic, Artificial Intelligence And Robotics by