Zhaohui Zhu

Publication Activity (10 Years)

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

Top Topics

Abstract Argumentation

Top Venues

J. Adv. Comput. Intell. Intell. Informatics

Int. J. Model. Simul. Sci. Comput.

Int. J. Approx. Reason.

Publications

Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR (2024)
Mei Ai, Qiwen Cai, Yun Fan, Bowen Li, Ruonan Huang, Shuya Liu, Yuxin Ran, Ruikang Wang, Yanna Wang, Kaihe Zhang, Amanda Liu, Zheng Zou, Larry Leifer, Taiyu Huang, Mengzhen Xiao, Zhaohui Zhu, Wei Liu
How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow. HCI (20) (2023)
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
A general approach to extension-based semantics in abstract argumentation. Artif. Intell. 315 (2023)
Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang
Graded labellings for abstract argumentation. Int. J. Approx. Reason. 152 (2023)
Yuewei Yu, Leilei Zhao, Lin Yang, Changcheng Zhou, Zhaohui Zhu, Lianshun Tian
Analytical modeling and calculation of mechanical characteristics for few-piece main-auxiliary parabolic leaf spring with root diagonal segment. Int. J. Model. Simul. Sci. Comput. 14 (2) (2023)
Zhaohui Zhu, Marc A. Kastner, Shin'ichi Satoh
On Assisting Diagnoses of Pareidolia by Emulating Patient Behavior. MMM (1) (2022)
Huili Xing, Zhaohui Zhu, Jinjin Zhang
A calculus for epistemic interactions. CoRR (2022)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. Theor. Comput. Sci. 897 (2022)
Ding Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu, Weiming Zhao
A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph. IEEE Internet Things J. 7 (3) (2020)
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
On graded semantics of abstract argumentation: Extension-based case. CoRR (2020)
Zhongyang Lin, Xianglong Jin, Zhaohui Zhu, Shaojun Pan, Xudong Zhao
Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data Analytics. CSIA (2019)
Huili Xing, Zhaohui Zhu, Jinjin Zhang
Covariant-Contravariant Refinement Modal Logic. FLAP 6 (1) (2019)
Zhaohui Zhu, Wensheng Huang
Bounded Rationality, Stock Mispricing, and Corporate Investment. J. Adv. Comput. Intell. Intell. Informatics 21 (6) (2017)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. CoRR (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. Inf. Process. Lett. 115 (11) (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
On recursive operations over logic LTS. Math. Struct. Comput. Sci. 25 (6) (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. CoRR (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
. J. Appl. Log. 13 (4) (2015)
Jinjin Zhang, Zhaohui Zhu
A modal characterization of alternating approximate bisimilarity. Formal Methods Syst. Des. 44 (3) (2014)
Wei Mu, Zhe Chen, Jie Tian, Zhaohui Zhu, Di Dong
A new Pansharp based method for PET/CT image fusion. ISBI (2014)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
Greatest solutions of equations in $\text{CLL}_R$ and its application. CoRR (2014)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
On Recursive Operations Over Logic LTS CoRR (2013)
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
Merging Process Algebra and Action-based Computation Tree Logic CoRR (2012)
Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
A control strategy algorithm for finite alternating transition systems CoRR (2012)
Jinjin Zhang, Zhaohui Zhu
A Modal Characterization of Alternating Approximate Bisimilarity CoRR (2012)
Jinjin Zhang, Zhaohui Zhu, Lisong Wang
Satisfaction of Temporal Logic by Control Systems and Finite Abstractions. ROCOND (2012)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
A Process Calculus with Logical Operators CoRR (2012)
Jinjin Zhang, Zhaohui Zhu
A Behavioural Pseudometric based on lambda-Bisimilarity. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Jinjin Zhang, Zhaohui Zhu
Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. 206 (8) (2008)
Rong Zhang, Zhaohui Zhu
An algebraic characterization of equivalent preferential models. J. Symb. Log. 72 (3) (2007)
Jinjin Zhang, Zhaohui Zhu
A Modal Characterization of λ-Bisimilarity. Int. J. Softw. Informatics 1 (1) (2007)
Zhaohui Zhu, Wenjie Xiao
Two Representation Theorems for Non-monotonic Inference Relations. J. Log. Comput. 17 (4) (2007)
Wei Zhang, Shaohua Teng, Zhaohui Zhu, Xiufen Fu, Haibin Zhu
An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks. IEEE ICCI (2007)
Zhaohui Zhu, Rong Zhang, Shan Lu
A characterization theorem for injective model classes axiomatized by general rules. Theor. Comput. Sci. 360 (1-3) (2006)
Zhaohui Zhu
Similarity between preferential models. Theor. Comput. Sci. 353 (1-3) (2006)
Zhaohui Zhu, Bin Li, Xian Xiao, Shifu Chen, Wujia Zhu
A representation theorem for recovering contraction relations satisfying wci. Theor. Comput. Sci. 290 (1) (2003)
Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu
Normal conditions for inference relations and injective models. Theor. Comput. Sci. 309 (1-3) (2003)
Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu
Valuation Structure. J. Symb. Log. 67 (1) (2002)
Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu
Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. 16 (4) (2001)
Dongmo Zhang, Zhaohui Zhu, Shifu Chen
Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. 15 (5) (2000)
Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu
Valuation-ranked preferential model. KR (2000)