ASP: The Future Is Bright A Position Paper
暂无分享,去创建一个
[1] Yuliya Lierler,et al. Abstract Answer Set Solvers , 2008, ICLP.
[2] Martin Gebser,et al. A Versatile Intermediate Language for Answer Set Programming , 2008 .
[3] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[4] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[5] Robert E. Mercer,et al. Platypus: A Platform for Distributed Answer Set Solving , 2005, LPNMR.