论文信息 - ASP: The Future Is Bright A Position Paper - 字舞流文

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.