 | 2009 |
|---|
| 11 |       | Guohua Liu:
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.
LPNMR 2009: 444-449 |
| 2008 |
|---|
| 10 |  | Jia-Huai You,
Guohua Liu:
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
AAAI 2008: 584-589 |
| 9 | | Guohua Liu,
Jia-Huai You:
Lparse Programs Revisited: Semantics and Representation of Aggregates.
ICLP 2008: 347-361 |
| 2007 |
|---|
| 8 | | Guohua Liu,
Jia-Huai You:
Adaptive Lookahead for Answer Set Computation.
ICTAI (2) 2007: 230-237 |
| 7 | | Jia-Huai You,
Li-Yan Yuan,
Guohua Liu,
Yi-Dong Shen:
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.
LPNMR 2007: 228-240 |
| 6 | | Guohua Liu,
Jia-Huai You:
On the Effectiveness of Looking Ahead in Search for Answer Sets.
LPNMR 2007: 303-308 |
| 2006 |
|---|
| 5 | | Guohua Liu,
Shuzhi Zhang,
Dongming Zhang:
Research of the Query Technology in Wide Area Sensor Databases.
CIMCA/IAWTIC 2006: 128 |
| 4 | | Guohua Liu,
Shuzhi Zhang,
Dongming Zhang:
Research on Multiple Queries Processing Technology in Wide Area Sensor Databases.
CIMCA/IAWTIC 2006: 134 |
| 2005 |
|---|
| 3 | | Jia-Huai You,
Guohua Liu,
Li-Yan Yuan,
Curtis Onuczko:
Lookahead in Smodels Compared to Local Consistencies in CSP.
LPNMR 2005: 266-278 |
| 2003 |
|---|
| 2 | | Guohua Liu,
Qi He,
Ziyang Chen,
Ying Wang:
A Novel System for Publishing Relational Data in XML Based on ER-DTD Method.
CAINE 2003: 7-10 |
| 2000 |
|---|
| 1 | | Guohua Liu,
Wenyun Ji,
Zijun Chen:
A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts.
TOOLS (36) 2000: 291-298 |
