×

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; MiniSat; GNT; NP-SPEC; Potassco; SATO; TRIPLE; WASP; Clingcon; SPIN; Graphplan
Cited in: 229 Publications
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 310 Authors

14 Gelfond, Michael
14 Niemelä, Ilkka N. F.
11 Son, Tran Cao
10 Eiter, Thomas
10 Leone, Nicola
10 Pontelli, Enrico
9 Truszczyński, Mirosław
8 Baral, Chitta R.
8 De Vos, Marina
8 Janhunen, Tomi
8 Schaub, Torsten H.
8 You, Jia-Huai
7 Lierler, Yuliya
7 Tompits, Hans
6 Balduccini, Marcello
6 Delgrande, James P.
6 Lin, Fangzhen
6 Marek, V. Wiktor
5 Bonatti, Piero Andrea
5 Faber, Wolfgang
5 Greco, Gianluigi
4 Greco, Sergio
4 Heljanko, Keijo
4 Lifschitz, Vladimir
4 Moniz Pereira, Luís
4 Pfeifer, Gerald
4 Remmel, Jeffrey Brian
4 Seipel, Dietmar A.
4 Simons, Patrik
4 Syrjänen, Tommi
4 Vermeir, Dirk
3 Alferes, José Júlio
3 Analyti, Anastasia
3 Angiulli, Fabrizio
3 Antoniou, Grigoris
3 Baselice, Sabrina
3 Brain, Martin
3 Brewka, Gerhard
3 Calimeri, Francesco
3 Erdem, Esra
3 Ianni, Giovambattista
3 Liu, Guohua
3 Nicolas, Pascal
3 Oikarinen, Emilia
3 Palopoli, Luigi
3 Papini, Odile
3 Perri, Simona
3 Scarcello, Francesco
3 Stéphan, Igor
3 Swift, Terrance
3 Ternovska, Eugenia
3 Woltran, Stefan
3 Wurbel, Eric
3 Yuan, Li Yan
2 Cenzer, Douglas
2 Chen, Yin
2 Cliffe, Owen
2 Czeizler, Eugen
2 Denecker, Marc
2 Dix, Jurgen
2 Dovier, Agostino
2 Dzifcak, Juraj
2 Elkabani, Islam
2 Ferrari, Mauro
2 Fink, Michael
2 Fiorentini, Camillo
2 Fitch, John
2 Formisano, Andrea
2 Gottlob, Georg
2 Haanpää, Harri
2 Heymans, Stijn
2 Hué, Julien
2 Jia, Xiumei
2 Konczak, Kathrin
2 Leite, João Alexandre
2 Lempiäinen, Tuomo
2 Linke, Thomas
2 Lukasiewicz, Thomas
2 Massacci, Fabio
2 Mellarkod, Veena S.
2 Minker, Jack
2 Molinaro, Cristian
2 Momigliano, Alberto
2 Ornaghi, Mario
2 Orponen, Pekka
2 Pachoulakis, Ioannis
2 Padget, Julian
2 Pinto, Alexandre Miguel
2 Ricca, Francesco
2 Sadri, Fariba
2 Sagonas, Konstantinos
2 Saubion, Frédéric
2 Soininen, Timo
2 Toni, Francesca
2 Trubitsyna, Irina
2 Tu, Phan Huy
2 Turull Torres, Jose Maria
2 Van Nieuwenborgh, Davy
2 Viegas Damásio, Carlos
2 Vitória, Aida
...and 210 more Authors

Citations by Year