Senlin Liang

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A practical analysis of non-termination in large logic programs.
Theory Pract. Log. Program., 2013

Understanding Rulelog Computations in Silk.
CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2013

2012
Deriving Predicate Statistics for Logic Rules.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2010
Deriving predicate statistics in datalog.
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.
Proceedings of the 18th International Conference on World Wide Web, 2009

Logic Programming with Defaults and Argumentation Theories.
Proceedings of the Logic Programming, 25th International Conference, 2009

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009


  Loading...