Mingyi Zhang

26 papers A* 6B 1C 2Misc 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.
New Gener. Comput.
Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang
2016 — conf
Learning Disjunctive Logic Programs from Interpretation Transition.
ILP (Short Papers)
Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang
2014 J jnl
Knowledge Forgetting in Answer Set Programming.
J. Artif. Intell. Res.
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2013 C conf
Embedding Functions into Disjunctive Logic Programs.
ICTAC
Yisong Wang, Jia-Huai You, Mingyi Zhang
2013 A* conf
Forgetting for Answer Set Programs Revisited.
IJCAI
Yisong Wang, Kewen Wang, Mingyi Zhang
2012 A* conf
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
AAAI
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
2012 A* conf
Forgetting in Logic Programs under Strong Equivalence.
KR
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2012 J jnl
The loop formula based semantics of description logic programs.
Theor. Comput. Sci.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang
2011 — conf
Constructing first-order loops of normal logic programs.
FSKD
Yisong Wang, Ying Zhang, Mingyi Zhang
2010 J jnl
Weight constraint programs with evaluable functions.
Ann. Math. Artif. Intell.
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
2009 J jnl
Logic Programs, Compatibility and Forward Chaining Construction.
J. Comput. Sci. Technol.
Yisong Wang, Mingyi Zhang, Jia-Huai You
2009 B conf
Weight Constraint Programs with Functions.
LPNMR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2007 J jnl
A characterization of answer sets for logic programs.
Sci. China Ser. F Inf. Sci.
Mingyi Zhang, Ying Zhang, Fangzhen Lin
2007 J jnl
Consistency Property of Finite FC-Normal Logic Programs.
J. Comput. Sci. Technol.
Yisong Wang, Mingyi Zhang, Yu-Ping Shen
2006 A* conf
First-Order Loop Formulas for Normal Logic Programs.
KR
Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
2005 Misc conf
Extended Negative Association Rules and the Corresponding Mining Algorithm.
ICMLC
Min Gan, Mingyi Zhang, Shenwen Wang
2004 J jnl
A Framework of Fuzzy Diagnosis.
IEEE Trans. Knowl. Data Eng.
Huaiqing Wang, Mingyi Zhang, Dongming Xu, Dan Zhang II
2004 C conf
Revision Programs with Explicit Negation.
ICTAC
Yisong Wang, Mingyi Zhang
2003 J jnl
Characterization of an Auto-Compatible Default Theory.
J. Comput. Sci. Technol.
Daoyun Xu, Decheng Ding, Mingyi Zhang
2003 A* conf
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
IJCAI
Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2003 J jnl
On the expressive power of semi-normal defaults in some semantic variants of default logic.
AI Commun.
Mingyi Zhang, Ying Zhang
1999 J jnl
Characterizations and algorithms of extensions for CADL and QDL.
J. Comput. Sci. Technol.
Mingyi Zhang, Ying Zhang
1996 J jnl
A New Research into Default Logic.
Inf. Comput.
Mingyi Zhang
1994 J jnl
Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity.
Artif. Intell.
Georg Gottlob, Mingyi Zhang
1994 J jnl
Some results on default logic.
J. Comput. Sci. Technol.
Mingyi Zhang
1989 A* conf
Approximation of Indistinct Concepts.
IJCAI
Mingyi Zhang