 | 2010 |
| 4 |  | Senlin Liang,
Michael Kifer:
Deriving predicate statistics in datalog.
PPDP 2010: 45-56 |
| 2009 |
| 3 |  | Jie Liu,
Senlin Liang,
Dan Ye,
Jun Wei,
Tao Huang:
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
CAiSE 2009: 455-469 |
| 2 |  | Hui Wan,
Benjamin N. Grosof,
Michael Kifer,
Paul Fodor,
Senlin Liang:
Logic Programming with Defaults and Argumentation Theories.
ICLP 2009: 432-448 |
| 1 |  | Senlin Liang,
Paul Fodor,
Hui Wan,
Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines.
WWW 2009: 601-610 |