zbMATH — the first resource for mathematics

The Smodels system. (English) Zbl 1010.68797
Eiter, Thomas (ed.) et al., Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2173, 434-438 (2001).
Introduction: The Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics of normal logic programs. The basic idea of ASP is to encode the constraints of a problem as a logic program such that the answer sets (stable models) of the program correspond to the solutions of the problem. Then we can solve the problem by letting a logic program engine to find the answer sets of the program.
For the entire collection see [Zbl 0971.00048].

68U99 Computing methodologies and applications
68N17 Logic programming
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence