The following pages link to Yisong Wang (Q645080):
Displayed 11 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Belief Change in Nonmonotonic Multi-Context Systems (Q2851285) (← links)
- Embedding Functions into Disjunctive Logic Programs (Q2851918) (← links)
- (Q3089164) (← links)
- (Q3306684) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Weight Constraint Programs with Functions (Q3643129) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)