Senlin Liang

11 papers A* 1A 1B 1C 2Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2025 Misc conf
DCCMamba: A Dual-stream Cross-time and Cross-feature with Mamba for Multivariate Time Series Forecasting.
ICASSP
Senlin Liang, Zhuoyue Wang, Chunna Zhao, Yaqun Huang, Jinpeng Xu, Yaoyuan Yang
2013 J jnl
A practical analysis of non-termination in large logic programs.
Theory Pract. Log. Program.
Senlin Liang, Michael Kifer
2013 — conf
Advanced Knowledge Base Debugging for Rulelog.
RuleML (2)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013 C conf
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.
PADL
Senlin Liang, Michael Kifer
2013 J jnl
Understanding Rulelog Computations in Silk.
CoRR
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2012 — conf
Deriving Predicate Statistics for Logic Rules.
RR
Senlin Liang, Michael Kifer
2012 — conf
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.
RR
Senlin Liang
2010 C conf
Deriving predicate statistics in datalog.
PPDP
Senlin Liang, Michael Kifer
2009 A conf
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
CAiSE
Jie Liu, Senlin Liang, Dan Ye, Jun Wei, Tao Huang
2009 B conf
Logic Programming with Defaults and Argumentation Theories.
ICLP
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009 A* conf
OpenRuleBench: an analysis of the performance of rule engines.
WWW
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer