2008 |
10 | | Jia-Huai You,
Guohua Liu:
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
AAAI 2008: 584-589 |
9 | EE | Guohua Liu,
Jia-Huai You:
Lparse Programs Revisited: Semantics and Representation of Aggregates.
ICLP 2008: 347-361 |
2007 |
8 | EE | Guohua Liu,
Jia-Huai You:
Adaptive Lookahead for Answer Set Computation.
ICTAI (2) 2007: 230-237 |
7 | EE | 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 | EE | Guohua Liu,
Jia-Huai You:
On the Effectiveness of Looking Ahead in Search for Answer Sets.
LPNMR 2007: 303-308 |
2006 |
5 | EE | Guohua Liu,
Shuzhi Zhang,
Dongming Zhang:
Research of the Query Technology in Wide Area Sensor Databases.
CIMCA/IAWTIC 2006: 128 |
4 | EE | Guohua Liu,
Shuzhi Zhang,
Dongming Zhang:
Research on Multiple Queries Processing Technology in Wide Area Sensor Databases.
CIMCA/IAWTIC 2006: 134 |
2005 |
3 | EE | 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 | EE | Guohua Liu,
Wenyun Ji,
Zijun Chen:
A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts.
TOOLS (36) 2000: 291-298 |