Mingyi Zhang

Available identifiers

zbMath Open zhang.mingyi.1MaRDI QIDQ645083

List of research outcomes

Publication	Date of Publication	Type
Embedding Functions into Disjunctive Logic Programs	2013-10-04	Paper
The loop formula based semantics of description logic programs	2012-03-13	Paper
Weight constraint programs with evaluable functions	2011-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q3089164	2011-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4929395	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
https://portal.mardi4nfdi.de/entity/Q2784795	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mingyi Zhang