Travelled to:1 × Italy
Collaborated with:Y.Wang Y.Zhang Y.Zhou Y.Chen F.Lin
Talks about:program (2) logic (2) formula (1) equival (1) strong (1) normal (1) forget (1) under (1) order (1) first (1)
Person: Mingyi Zhang
DBLP: Zhang:Mingyi
Contributed to:
20122006Wrote 2 papers:
- KR-2012-WangZZZ #equivalence #logic programming #source code
- Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).
- KR-2006-ChenLWZ #first-order #logic programming #source code
- First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.