The following pages link to Mingyi Zhang (Q645083):
Displayed 20 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Characterizations and algorithms of extensions for CADL and QDL (Q1288432) (← links)
- On extensions of general default theories (Q1312967) (← links)
- Some results on default logic (Q1333373) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- (Q1415948) (redirect page) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- A new research into default logic (Q2506484) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- (Q2784795) (← links)
- Embedding Functions into Disjunctive Logic Programs (Q2851918) (← links)
- (Q3089164) (← links)
- Weight Constraint Programs with Functions (Q3643129) (← links)
- (Q3734367) (← links)
- (Q3734368) (← links)
- (Q4510938) (← links)
- (Q4929395) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)
- (Q5750462) (← links)