Smodels
swMATH ID: | 4631 |
Software Authors: | Niemelä, Ilkka; Simons, P; Syrjänen, Tommi |
Description: | 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. |
Homepage: | http://www.tcs.hut.fi/Software/smodels/ |
Keywords: | Stable model semantics; Nonmonotonic reasoning; logic programming; answer set programming |
Related Software: | ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; Chaff; CCalc; NoMoRe; Datalog; Potassco; GNT; MiniSat; NP-SPEC; WASP; SWI-Prolog; SICStus; SATO; SPIN; Clingo |
Cited in: | 231 Documents |
Further Publications: | http://www.tcs.hut.fi/Software/smodels/index.html#publications |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
The Smodels system. Zbl 1010.68797 Syrjänen, Tommi; Niemelä, Ilkka |
2001
|
all
top 5
Cited by 322 Authors
all
top 5
Cited in 30 Serials
all
top 5