Travelled to:1 × Australia
1 × Italy
Collaborated with:F.Lin M.Zhang Y.Zhang Y.Zhou J.You L.Yuan Y.Shen Y.Chen
Talks about:program (4) logic (3) formula (2) loop (2) function (1) descript (1) equival (1) strong (1) normal (1) forget (1)
Person: Yisong Wang
DBLP: Wang:Yisong
Contributed to:
2012
201020082006Wrote 4 papers:
- KR-2012-WangZZZ #equivalence #logic programming #source code
- Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).
- ICLP-J-2010-WangYYS #logic programming #source code
- Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.
- KR-2008-LinW #programming #set
- Answer Set Programming with Functions (FL, YW), pp. 454–465.
- KR-2006-ChenLWZ #first-order #logic programming #source code
- First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.