1,787 followers
@MattWeiner19 If you are ok with Standard Deontic Logic (which is just Kd) this might be helpful. There's some oddities (that my PGR and I are sorting out) but it's a place to start: https://t.co/vZRYRr2yOp
@MattWeiner19 If you are ok with Standard Deontic Logic (which is just Kd) this might be helpful. There's some oddities (that my PGR and I are sorting out) but it's a place to start: https://t.co/vZRYRr2yOp
http://t.co/TCiG85bpdO Automated Reasoning in Deontic Logic. (arXiv:1411.4823v1 [cs.AI]) #ai
http://t.co/TCiG85bpdO Automated Reasoning in Deontic Logic. (arXiv:1411.4823v1 [cs.AI]) #ai