Approximation of Indistinct Concepts. - Mingyi Zhang 002 (IJCAI, 1989)

Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. - Georg Gottlob; Mingyi Zhang 002 (Artif. Intell., 1994)

Some results on default logic. - Mingyi Zhang 002 (J. Comput. Sci. Technol., 1994)

A New Research into Default Logic. - Mingyi Zhang 002 (Inf. Comput., 1996)

Characterizations and algorithms of extensions for CADL and QDL. - Mingyi Zhang 002; Ying Zhang (J. Comput. Sci. Technol., 1999)

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. - Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (IJCAI, 2003)

On the expressive power of semi-normal defaults in some semantic variants of default logic. - Mingyi Zhang 002; Ying Zhang (AI Commun., 2003)

Characterization of an Auto-Compatible Default Theory. - Daoyun Xu; Decheng Ding; Mingyi Zhang 002 (J. Comput. Sci. Technol., 2003)

Revision Programs with Explicit Negation. - Yisong Wang; Mingyi Zhang 002 (ICTAC, 2004)

A Framework of Fuzzy Diagnosis. - Huaiqing Wang; Mingyi Zhang 002; Dongming Xu; Dan Zhang II (IEEE Trans. Knowl. Data Eng., 2004)

Extended Negative Association Rules and the Corresponding Mining Algorithm. - Min Gan; Mingyi Zhang 002; Shenwen Wang (ICMLC, 2005)

First-Order Loop Formulas for Normal Logic Programs. - Yin Chen 005; Fangzhen Lin; Yisong Wang; Mingyi Zhang 002 (KR, 2006)

A characterization of answer sets for logic programs. - Mingyi Zhang 002; Ying Zhang; Fangzhen Lin (Sci. China Ser. F Inf. Sci., 2007)

Consistency Property of Finite FC-Normal Logic Programs. - Yisong Wang; Mingyi Zhang 002; Yu-Ping Shen (J. Comput. Sci. Technol., 2007)

Weight Constraint Programs with Functions. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (LPNMR, 2009)

Logic Programs, Compatibility and Forward Chaining Construction. - Yisong Wang; Mingyi Zhang 002; Jia-Huai You (J. Comput. Sci. Technol., 2009)

Weight constraint programs with evaluable functions. - Yisong Wang; Jia-Huai You; Fangzhen Lin; Li-Yan Yuan; Mingyi Zhang 002 (Ann. Math. Artif. Intell., 2010)

Constructing first-order loops of normal logic programs. - Yisong Wang; Ying Zhang; Mingyi Zhang 002 (FSKD, 2011)

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. - Yisong Wang; Fangzhen Lin; Mingyi Zhang 002; Jia-Huai You (AAAI, 2012)

Forgetting in Logic Programs under Strong Equivalence. - Yisong Wang; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (KR, 2012)

The loop formula based semantics of description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Mingyi Zhang 002 (Theor. Comput. Sci., 2012)

Embedding Functions into Disjunctive Logic Programs. - Yisong Wang; Jia-Huai You; Mingyi Zhang 002 (ICTAC, 2013)

Forgetting for Answer Set Programs Revisited. - Yisong Wang; Kewen Wang 001; Mingyi Zhang 002 (IJCAI, 2013)

Knowledge Forgetting in Answer Set Programming. - Yisong Wang; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (J. Artif. Intell. Res., 2014)

Learning Disjunctive Logic Programs from Interpretation Transition. - Yi Huang; Yisong Wang; Ying Zhang; Mingyi Zhang 002 (ILP (Short Papers), 2016)

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. - Yi Huang; Yisong Wang; Jia-Huai You; Mingyi Zhang 002; Ying Zhang (New Gener. Comput., 2021)