共 50 条
- [49] A Deontic Logic Reasoning Infrastructure SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 60 - 69
- [50] Model Checking for Deontic Logic IFOST 2008: PROCEEDING OF THE THIRD INTERNATIONAL FORUM ON STRATEGIC TECHNOLOGIES, 2008, : 300 - 302