Definitions in Answer Set Programming: (Extended Abstract)
暂无分享,去创建一个
The work described here is motivated by our interest in the methodology of answer set programming (ASP). The idea of ASP is to solve a problem by writing a logic program the answer sets of which correspond to solutions.
[1] Vladimir Lifschitz,et al. Weight constraints as nested expressions , 2003, Theory and Practice of Logic Programming.
[2] Vladimir Lifschitz,et al. Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.
[3] Vladimir Lifschitz,et al. Splitting a Logic Program , 1994, ICLP.