Part of the Lecture Notes in Computer Science book series (LNCS, volume 2916)
Definitions in Answer Set Programming
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.
- [Ferraris and Lifschitz, 2003]Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theory and Practice of Logic Programming (2003) (to appear), http://www.cs.utexas.edu/users/vl/papers/weight.ps
- [Lifschitz and Turner, 1994]Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P., (ed.) Proc. Eleventh Int’l Conf. on Logic Programming, pp. 23–37 (1994)Google Scholar
- [Lifschitz et al., 1999]
© Springer-Verlag Berlin Heidelberg 2003