Search results for "Mingyi Zhang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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.	2012	DBLP DOI BibTeX RDF
1	Bo Yang, Mingyi Zhang, Ying Zhang	Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language.	ICIC	2011	DBLP DOI BibTeX RDF
1	Yisong Wang, Ying Zhang, Mingyi Zhang	Constructing first-order loops of normal logic programs.	FSKD	2011	DBLP DOI BibTeX RDF
1	Maonian Wu, Dongmo Zhang, Mingyi Zhang	Language Splitting and Relevance-Based Belief Change in Horn Logic.	AAAI	2011	DBLP BibTeX RDF
1	Maonian Wu, Mingyi Zhang	Algorithms and application in decision-making for the finest splitting of a set of formulae.	Knowl.-Based Syst.	2010	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang	Weight constraint programs with evaluable functions.	Ann. Math. Artif. Intell.	2010	DBLP DOI BibTeX RDF
1	Wendy Powley, Patrick Martin, Mingyi Zhang, Paul Bird, Keith McDonald	Autonomic workload execution control using throttling.	ICDE Workshops	2010	DBLP DOI BibTeX RDF
1	Yisong Wang, Mingyi Zhang, Jia-Huai You	Logic Programs, Compatibility and Forward Chaining Construction.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF
1	Wu Chen, Mingyi Zhang, Maonian Wu	A Logic-Program-Based Negotiation Mechanism.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang	Weight Constraint Programs with Functions.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Maonian Wu, Mingyi Zhang	Axiom P and Reliable Belief Change Operator in belief revision.	IC-AI	2008	DBLP BibTeX RDF
1	Maonian Wu, Mingyi Zhang	Maximal Invariable Update Operator Based on Splitting.	RSKT	2008	DBLP DOI BibTeX RDF	Splitting language, Maximal invariable, Belief change
1	Mingyi Zhang, Patrick Martin, Wendy Powley, Paul Bird	Using economic models to allocate resources in database management systems.	CASCON	2008	DBLP DOI BibTeX RDF
1	Mingyi Zhang, Ying Zhang, Fangzhen Lin	A characterization of answer sets for logic programs.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas
1	Yisong Wang, Mingyi Zhang, Yu-Ping Shen	Consistency Property of Finite FC-Normal Logic Programs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	consistency property, FC-normality, artificial intelligence, logic programs, stable model
1	Wu Chen, Norman Y. Foo, Mingyi Zhang	Forgetting in Logic Programs with Ordered Disjunction.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
1	Heng Zhang, Mingyi Zhang	Model-Characterizing Formulas and Normal Forms in Godel Logics.	ISMVL	2007	DBLP DOI BibTeX RDF
1	Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang	First-Order Loop Formulas for Normal Logic Programs.	KR	2006	DBLP BibTeX RDF
1	Min Gan, Mingyi Zhang, Shenwen Wang	Extended Negative Association Rules and the Corresponding Mining Algorithm.	ICMLC	2005	DBLP DOI BibTeX RDF
1	Yisong Wang, Mingyi Zhang	Revision Programs with Explicit Negation.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Jia-Huai You, Li-Yan Yuan, Mingyi Zhang	On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.	IJCAI	2003	DBLP BibTeX RDF
1	Mingyi Zhang, Ying Zhang	Characterizations and algorithms of extensions for CADL and QDL.	J. Comput. Sci. Technol.	1999	DBLP DOI BibTeX RDF
1	Mingyi Zhang	Some results on default logic.	J. Comput. Sci. Technol.	1994	DBLP DOI BibTeX RDF

Publications of "Mingyi Zhang" ( http://dblp.L3S.de/Authors/Mingyi_Zhang )