 | 2009 |
|---|
| 7 |       | Hui Wan,
Benjamin N. Grosof,
Michael Kifer,
Paul Fodor,
Senlin Liang:
Logic Programming with Defaults and Argumentation Theories.
ICLP 2009: 432-448 |
| 6 | | Hui Wan:
Belief Logic Programming.
ICLP 2009: 547-548 |
| 5 | | Hui Wan,
Michael Kifer:
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.
LPNMR 2009: 316-328 |
| 4 | | Hui Wan:
Belief Logic Programming with Cyclic Dependencies.
RR 2009: 150-165 |
| 3 | | Hui Wan,
Michael Kifer:
Query Answering in Belief Logic Programming.
SUM 2009: 268-281 |
| 2 | | Senlin Liang,
Paul Fodor,
Hui Wan,
Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines.
WWW 2009: 601-610 |
| 2005 |
|---|
| 1 | | Jin He,
Jane Xi,
Mansun Chan,
Hui Wan,
Mohan V. Dunga,
Babak Heydari,
Ali M. Niknejad,
Chenming Hu:
Charge-Based Core and the Model Architecture of BSIM5.
ISQED 2005: 96-101 |
