Mingyi Zhang

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

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

Mingyi Zhang, Patrick Martin, Wendy Powley, Paul Bird, Keith McDonald: Discovering Indicators for Congestion in DBMSs. ICDE Workshops 2012: 263-268

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang: Forgetting in Logic Programs under Strong Equivalence. KR 2012

Maonian Wu, Dongmo Zhang, Mingyi Zhang: Language Splitting and Relevance-Based Belief Change in Horn Logic. AAAI 2011

Yisong Wang, Ying Zhang, Mingyi Zhang: Constructing first-order loops of normal logic programs. FSKD 2011: 352-356

Bo Yang, Mingyi Zhang, Ying Zhang: Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language. ICIC (1) 2011: 676-685

Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang: Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell. 60(3-4): 341-380 (2010)

Maonian Wu, Mingyi Zhang: Algorithms and application in decision-making for the finest splitting of a set of formulae. Knowl.-Based Syst. 23(1): 70-76 (2010)

Wendy Powley, Patrick Martin, Mingyi Zhang, Paul Bird, Keith McDonald: Autonomic workload execution control using throttling. ICDE Workshops 2010: 75-80

Wu Chen, Mingyi Zhang, Maonian Wu: A Logic-Program-Based Negotiation Mechanism. J. Comput. Sci. Technol. 24(4): 753-760 (2009)

Yisong Wang, Mingyi Zhang, Jia-Huai You: Logic Programs, Compatibility and Forward Chaining Construction. J. Comput. Sci. Technol. 24(6): 1125-1137 (2009)

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang: Weight Constraint Programs with Functions. LPNMR 2009: 329-341

Mingyi Zhang, Patrick Martin, Wendy Powley, Paul Bird: Using economic models to allocate resources in database management systems. CASCON 2008: 19

Maonian Wu, Mingyi Zhang: Axiom P and Reliable Belief Change Operator in belief revision. IC-AI 2008: 165-171

Maonian Wu, Mingyi Zhang: Maximal Invariable Update Operator Based on Splitting. RSKT 2008: 418-425

Mingyi Zhang, Ying Zhang, Fangzhen Lin: A characterization of answer sets for logic programs. Science in China Series F: Information Sciences 50(1): 46-62 (2007)

Yisong Wang, Mingyi Zhang, Yu-Ping Shen: Consistency Property of Finite FC-Normal Logic Programs. J. Comput. Sci. Technol. 22(4): 554-561 (2007)

Wu Chen, Norman Y. Foo, Mingyi Zhang: Forgetting in Logic Programs with Ordered Disjunction. Australian Conference on Artificial Intelligence 2007: 254-262

Heng Zhang, Mingyi Zhang: Model-Characterizing Formulas and Normal Forms in Godel Logics. ISMVL 2007: 3

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang: First-Order Loop Formulas for Normal Logic Programs. KR 2006: 298-307

Min Gan, Mingyi Zhang, Shenwen Wang: Extended Negative Association Rules and the Corresponding Mining Algorithm. ICMLC 2005: 159-168

Yisong Wang, Mingyi Zhang: Revision Programs with Explicit Negation. ICTAC 2004: 403-414

Jia-Huai You, Li-Yan Yuan, Mingyi Zhang: On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI 2003: 859-866

Mingyi Zhang, Ying Zhang: Characterizations and algorithms of extensions for CADL and QDL. J. Comput. Sci. Technol. 14(2): 140-145 (1999)

Mingyi Zhang: Some results on default logic. J. Comput. Sci. Technol. 9(3): 267-274 (1994)