Bao, Forrest Sheng

5 publications

AAAI 2015 Accelerating SAT Solving by Common Subclause Elimination Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang

AAAI 2012 Combining Probabilistic Planning and Logic Programming on Mobile Robots Shiqi Zhang, Forrest Sheng Bao, Mohan Sridharan

AAAI 2012 Temporally Expressive Planning Based on Answer Set Programming with Constraints Forrest Sheng Bao, Yuanlin Zhang

AAAI 2011 Medical Treatment Conflict Resolving in Answer Set Programming Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

AAAI 2011 The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming Forrest Sheng Bao