Anfonwch hwn fel neges destun: Advances in logic, artificial intelligence, and robotics