|
Search the dblp DataBase
Yisong Wang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yisong Wang, Mingyi Zhang
Revision Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:403-414 [Conf]
- Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
First-Order Loop Formulas for Normal Logic Programs. [Citation Graph (0, 0)][DBLP] KR, 2006, pp:298-307 [Conf]
Some Results on Order-Consistent Logic Programs. [Citation Graph (, )][DBLP]
Answer Set Programming with Functions. [Citation Graph (, )][DBLP]
Weight Constraint Programs with Functions. [Citation Graph (, )][DBLP]
Loop Formulas for Description Logic Programs [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|