Advances In Logic, Artificial Inteliigence And Robotices