Travelled to:
1 × China
2 × Italy
Collaborated with:
J.You T.Janhunen I.Niemelä W.Ji Z.Chen
Talks about:
program (3) represent (1) interpret (1) conflict (1) approach (1) without (1) theoret (1) revisit (1) semant (1) recogn (1)
Person: Guohua Liu
DBLP: Liu:Guohua
Contributed to:
Wrote 3 papers:
- KR-2012-LiuJN #integer #programming #set
- Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
- ICLP-2008-LiuY #representation #semantics #source code
- Lparse Programs Revisited: Semantics and Representation of Aggregates (GL, JHY), pp. 347–361.
- TOOLS-ASIA-2000-LiuJC #approach #graph
- A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts (GL, WJ, ZC), pp. 291–298.