Mingyi Zhang

According to our database, Mingyi Zhang authored at least 25 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Learning Disjunctive Logic Programs from Interpretation Transition.

Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

2014

Knowledge Forgetting in Answer Set Programming.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

J. Artif. Intell. Res., 2014

2013

Forgetting for Answer Set Programs Revisited.

Yisong Wang, Kewen Wang, Mingyi Zhang

Proceedings of the IJCAI 2013, 2013

Embedding Functions into Disjunctive Logic Programs.

Yisong Wang, Jia-Huai You, Mingyi Zhang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

The loop formula based semantics of description logic programs.

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang

Theor. Comput. Sci., 2012

Forgetting in Logic Programs under Strong Equivalence.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Constructing first-order loops of normal logic programs.

Yisong Wang, Ying Zhang, Mingyi Zhang

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010

Weight constraint programs with evaluable functions.

Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang

Ann. Math. Artif. Intell., 2010

2009

Logic Programs, Compatibility and Forward Chaining Construction.

Yisong Wang, Mingyi Zhang, Jia-Huai You

J. Comput. Sci. Technol., 2009

Weight Constraint Programs with Functions.

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2007

Consistency Property of Finite FC-Normal Logic Programs.

Yisong Wang, Mingyi Zhang, Yu-Ping Shen

J. Comput. Sci. Technol., 2007

A characterization of answer sets for logic programs.

Mingyi Zhang, Ying Zhang, Fangzhen Lin

Sci. China Ser. F Inf. Sci., 2007

2006

First-Order Loop Formulas for Normal Logic Programs.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Proceedings of the Proceedings, 2006

2005

Extended Negative Association Rules and the Corresponding Mining Algorithm.

Min Gan, Mingyi Zhang, Shenwen Wang

Proceedings of the Advances in Machine Learning and Cybernetics, 2005

2004

A Framework of Fuzzy Diagnosis.

Huaiqing Wang, Mingyi Zhang, Dongming Xu, Dan Zhang II

IEEE Trans. Knowl. Data Eng., 2004

Revision Programs with Explicit Negation.

Yisong Wang, Mingyi Zhang

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Characterization of an Auto-Compatible Default Theory.

Daoyun Xu, Decheng Ding, Mingyi Zhang

J. Comput. Sci. Technol., 2003

On the expressive power of semi-normal defaults in some semantic variants of default logic.

Mingyi Zhang, Ying Zhang

AI Commun., 2003

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.

Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

Proceedings of the IJCAI-03, 2003

1999

Characterizations and algorithms of extensions for CADL and QDL.

Mingyi Zhang, Ying Zhang

J. Comput. Sci. Technol., 1999

1996

A New Research into Default Logic.

Mingyi Zhang

Inf. Comput., 1996

1994

Some results on default logic.

Mingyi Zhang

J. Comput. Sci. Technol., 1994

Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity.

Georg Gottlob, Mingyi Zhang

Artif. Intell., 1994

1989

Approximation of Indistinct Concepts.

Mingyi Zhang

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989