Huimin Dong

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 18

Top Topics

Imperative Programs

Practical Reasoning

Top Venues

J. Log. Comput.

Publications

Huimin Dong
Permissible Knowledge Pooling. CoRR (2024)
Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee
Rights and Practical Reasoning in Deontic Logic. DEON (2023)
Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre
Defeasible Deontic Logic: Arguing about Permission and Obligation. FLAP 9 (4) (2022)
Shiying Cheng, Huimin Dong, Yifei Yue, Hao Tan
Automated Driving: Acceptance and Chances for Young People. HCI (12) (2021)
Huimin Dong, Jun Pang, Yì N. Wáng
Preface of the special issue'Logic, argumentation and AI' in JLC. J. Log. Comput. 31 (8) (2021)
Huimin Dong, Olivier Roy
Dynamic Logic of Legal Competences. CoRR (2021)
Huimin Dong, Réka Markovich, Leendert van der Torre
Towards AI Logic for Social Reasoning. CoRR (2021)
Huimin Dong, Olivier Roy
Dynamic Logic of Legal Competences. J. Log. Lang. Inf. 30 (4) (2021)
Huimin Dong
Logic of defeasible permission and its dynamics. J. Log. Comput. 31 (4) (2021)
Huimin Dong, Xu Li, Yì N. Wáng
Weighted Modal Logic in Epistemic and Deontic Contexts. LORI (2021)
Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
. LORI (2019)
Huimin Dong, R. Ramanujam, Yì N. Wáng
Subset Spaces for Conditional Norms. PRIMA (2019)
Huimin Dong, Norbert Gratzl, Olivier Roy
Open Reading and Free Choice Permission: A Perspective in Substructural Logics. CLAR (2018)
Huimin Dong, Chu Zhang, Delun Wang, Shangkun Xu, Jun Qiu
Dynamic characteristics of gear box with PGT for wind turbine. ANT/SEIT (2017)
Changyu Xu, Huimin Dong, Shangkun Xu, Yu Wu, Chenggang Wang
Study and Experiment on Positioning Error of SCARA Robot Caused by Joint Clearance. ICIRA (2) (2017)
Guanglei Wu, Delun Wang, Huimin Dong
Off-Line Programmed Error Compensation of an Industrial Robot in Ship Hull Welding. ICIRA (2) (2017)
Huimin Dong, Olivier Roy
Dynamic Logic of Power and Immunity. LORI (2017)
Jun Qiu, Boxing Liu, Huimin Dong, Delun Wang
Type Synthesis of Gear-box in Wind Turbine. ANT/SEIT (2017)
Albert J. J. Anglberger, Huimin Dong, Olivier Roy
Open Reading without Free Choice. DEON (2014)
Huimin Dong, Xiaowu Li
A Deontic Action Logic for Complex Actions. LORI (2013)
Huimin Dong, Zhengdu Zhu, Weidong Zhou, Zhi Chen
Dynamic Simulation of Harmonic Gear Drives Considering Tooth Profiles Parameters Optimization. J. Comput. 7 (6) (2012)
Baoqing Liu, Huimin Dong
A Method for Evaluation of Coning Error Based on Adaptive Cone. ICIRA (2) (2008)