On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. - Fangzhen Lin; Jicheng Zhao (IJCAI, 2003)

Goal Specification in Presence of Non-Deterministic Actions. - Chitta Baral; Jicheng Zhao (ECAI, 2004)

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. - Chitta Baral; Thomas Eiter; Jicheng Zhao (AAAI, 2005)

Goal Specification, Non-Determinism and Quantifying over Policies. - Chitta Baral; Jicheng Zhao (AAAI, 2006)

Non-monotonic Temporal Logics for Goal Specification. - Chitta Baral; Jicheng Zhao (IJCAI, 2007)

Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. - Chitta Baral; Jicheng Zhao (AAAI, 2008)

Representing and Reasoning about Goals and Policies of Agents. - Jicheng Zhao (2010)

Commutation Torque Ripple Reduction for Brushless DC Motor Based on an Auxiliary Step-Up Circuit. - Xuliang Yao; Jicheng Zhao; Jingfang Wang; Shengqi Huang; Yishu Jiang (IEEE Access, 2019)

Water Target Recognition Method and Application for Unmanned Surface Vessels. - Liang Cheng 005; Baoyuan Deng; Yuan Yang; Jifang Lyu; Jicheng Zhao; Ke Zhou; Chunli Yang; Leigang Wang; Shiyuan Yang; Yunze He (IEEE Access, 2022)

Modal Parameter Recursive Estimation of Concrete Arch Dams under Seismic Loading Using an Adaptive Recursive Subspace Method. - Xinyi Zhu; Jianchun Qiu; Yanxin Xu; Xingqiao Chen; Pengcheng Xu; Xin Wu; Shaolong Guo; Jicheng Zhao; Jiale Lin (Sensors, 2024)

Commutation torque ripple suppression method for brushless DC motors with minimum phase shift angle. - Liwei Sun; Yong Li; Jicheng Zhao; Changwei Mi (Int. J. Circuit Theory Appl., 2024)