Huimin Dong

30 papers B 2C 3Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2025 B conf
A Modal Logic for Temporal and Jurisdictional Classifier Models.
PRIMA
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 J jnl
A Modal Logic for Temporal and Jurisdictional Classifier Models.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 C conf
Contrary-to-Duty Rights: From Hohfeld to Agreement Revision.
JURIX
Huimin Dong, Leendert van der Torre, Liuwen Yu
2025 C conf
Rule-based Classifier Models.
ICAIL
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 J jnl
Rule-based Classifier Models.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2024 J jnl
Permissible Knowledge Pooling.
CoRR
Huimin Dong
2024 C conf
When Precedents Clash.
JURIX
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2024 J jnl
When Precedents Clash.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2023 — conf
Rights and Practical Reasoning in Deontic Logic.
DEON
Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee
2022 J jnl
Defeasible Deontic Logic: Arguing about Permission and Obligation.
FLAP
Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre
2021 — conf
Automated Driving: Acceptance and Chances for Young People.
HCI (12)
Shiying Cheng, Huimin Dong, Yifei Yue, Hao Tan
2021 J jnl
Dynamic Logic of Legal Competences.
CoRR
Huimin Dong, Olivier Roy
2021 J jnl
Dynamic Logic of Legal Competences.
J. Log. Lang. Inf.
Huimin Dong, Olivier Roy
2021 J jnl
Logic of defeasible permission and its dynamics.
J. Log. Comput.
Huimin Dong
2021 J jnl
Preface of the special issue'Logic, argumentation and AI' in JLC.
J. Log. Comput.
Huimin Dong, Jun Pang, Yì N. Wáng
2021 J jnl
Towards AI Logic for Social Reasoning.
CoRR
Huimin Dong, Réka Markovich, Leendert van der Torre
2021 — conf
Weighted Modal Logic in Epistemic and Deontic Contexts.
LORI
Huimin Dong, Xu Li, Yì N. Wáng
2020 — ed.
Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings
CLAR
Mehdi Dastani, Huimin Dong, Leon van der Torre
2019 — conf
From Classical to Non-monotonic Deontic Logic Using ASPIC
LORI
Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
2019 B conf
Subset Spaces for Conditional Norms.
PRIMA
Huimin Dong, R. Ramanujam, Yì N. Wáng
2018 — conf
Open Reading and Free Choice Permission: A Perspective in Substructural Logics.
CLAR
Huimin Dong, Norbert Gratzl, Olivier Roy
2017 — conf
Dynamic Logic of Power and Immunity.
LORI
Huimin Dong, Olivier Roy
2017 — conf
Dynamic characteristics of gear box with PGT for wind turbine.
ANT/SEIT
Huimin Dong, Chu Zhang, Delun Wang, Shangkun Xu, Jun Qiu
2017 — conf
Off-Line Programmed Error Compensation of an Industrial Robot in Ship Hull Welding.
ICIRA (2)
Guanglei Wu, Delun Wang, Huimin Dong
2017 — conf
Study and Experiment on Positioning Error of SCARA Robot Caused by Joint Clearance.
ICIRA (2)
Changyu Xu, Huimin Dong, Shangkun Xu, Yu Wu, Chenggang Wang
2017 — conf
Type Synthesis of Gear-box in Wind Turbine.
ANT/SEIT
Jun Qiu, Boxing Liu, Huimin Dong, Delun Wang
2014 — conf
Open Reading without Free Choice.
DEON
Albert J. J. Anglberger, Huimin Dong, Olivier Roy
2013 — conf
A Deontic Action Logic for Complex Actions.
LORI
Huimin Dong, Xiaowu Li
2012 J jnl
Dynamic Simulation of Harmonic Gear Drives Considering Tooth Profiles Parameters Optimization.
J. Comput.
Huimin Dong, Zhengdu Zhu, Weidong Zhou, Zhi Chen
2008 — conf
A Method for Evaluation of Coning Error Based on Adaptive Cone.
ICIRA (2)
Baoqing Liu, Huimin Dong