Senlin Liang

According to our database, Senlin Liang authored at least 10 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

A practical analysis of non-termination in large logic programs.

Senlin Liang, Michael Kifer

Theory Pract. Log. Program., 2013

Understanding Rulelog Computations in Silk.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.

Senlin Liang, Michael Kifer

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Deriving Predicate Statistics for Logic Rules.

Senlin Liang, Michael Kifer

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.

Senlin Liang

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2010

Deriving predicate statistics in datalog.

Senlin Liang, Michael Kifer

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

OpenRuleBench: an analysis of the performance of rule engines.

Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer

Proceedings of the 18th International Conference on World Wide Web, 2009

Logic Programming with Defaults and Argumentation Theories.

Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang

Proceedings of the Logic Programming, 25th International Conference, 2009

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.

Jie Liu, Senlin Liang, Dan Ye, Jun Wei, Tao Huang

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009