Senlin Liang

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Query Optimization

Top Venues

Publications

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) (2013)
Senlin Liang, Michael Kifer
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. PADL (2013)
Senlin Liang, Michael Kifer
A practical analysis of non-termination in large logic programs. Theory Pract. Log. Program. 13 (4-5) (2013)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Understanding Rulelog Computations in Silk. CoRR (2013)
Senlin Liang, Michael Kifer
Deriving Predicate Statistics for Logic Rules. RR (2012)
Senlin Liang
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs. RR (2012)
Senlin Liang, Michael Kifer
Deriving predicate statistics in datalog. PPDP (2010)
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
Logic Programming with Defaults and Argumentation Theories. ICLP (2009)
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines. WWW (2009)
Jie Liu, Senlin Liang, Dan Ye, Jun Wei, Tao Huang
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation. CAiSE (2009)