TY  - RPRT
TI  - On Quantified Modal Theorem Proving for Modeling Ethics
AU  - Naveen Sundar Govindarajulu
AU  - Selmer Bringsjord
AU  - Matthew Peveler
PY  - 2019
DO  - 10.4204/eptcs.311.7
UR  - https://arxiv.org/abs/1912.12959
ID  - 1912.12959
ER  -