C. Baral and M. Gelfond, Logic programming and knowledge representation , Journal of Logic Programming vol. A survey of applications of logic programming to knowledge representation, with emphasis on answer sets. V. Lifschitz, Foundations of logic programming , in Principles of Knowledge Representation , CSLI Publications, pp. A survey of logic programming with emphasis on answer sets. A solution to a problem is represented by an answer set as a whole, rather than by an answer to a specific query as in traditional logic programming.
System smodels .
A system for computing answer sets. System dlv . A system for computing answer sets for disjunctive programs. Action Languages Action languages are formal models of parts of the natural language that are used for talking about the effects of actions. M. Gelfond and V. Lifschitz, Representing action and change by logic programs , Journal of Logic Programming , Vol.