Toward a General Logicist Methodology for Engineering Ethically Correct Robots | IEEE Journals & Magazine | IEEE Xplore