`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:

### Wrote 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.