MingYi Zhang

Available identifiers

Publication	Date of Publication	Type
Embedding functions into disjunctive logic programs	2013-10-04	Paper
Microscopic phase-field study on order-disorder transition of the antiphase domain boundary formed between L1\(_{2}\) phases	2012-06-07	Paper
The loop formula based semantics of description logic programs	2012-03-13	Paper
Weight constraint programs with evaluable functions	2011-11-08	Paper
Embedding functions into disjunctive logic programs	2011-08-24	Paper
An approach to generation of decision rules based on a fuzzy semi-equivalence relation	2010-09-22	Paper
Weight Constraint Programs with Functions	2009-11-10	Paper
A characterization of answer sets for logic programs	2007-08-31	Paper
A new research into default logic	2006-10-10	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Characterization of an auto-compatible default theory	2003-12-09	Paper
Default logic and it's variants: A semantical view	2002-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4510938	2000-12-12	Paper
Characterizations and algorithms of extensions for CADL and QDL	1999-05-11	Paper
Cumulative default logic: Finite characterization, algorithms, and complexity	1994-11-08	Paper
Some results on default logic	1994-09-13	Paper
On extensions of general default theories	1994-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5750462	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734368	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734367	1981-01-01	Paper

This page was built for person: MingYi Zhang