この資料をSMS送信: Advances in logic, artificial intelligence, and robotics