Key points are not available for this paper at this time.
The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.
Brewka et al. (Mon,) studied this question.