×

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

14 Gelfond, Michael
14 Niemelä, Ilkka N. F.
11 Pontelli, Enrico
11 Son, Tran Cao
10 Eiter, Thomas
10 Leone, Nicola
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 Dovier, Agostino
3 Erdem, Esra
3 Formisano, Andrea
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 Dzifcak, Juraj
2 Elkabani, Islam
2 Ferrari, Mauro
2 Fink, Michael
2 Fiorentini, Camillo
2 Fitch, John
2 Gottlob, Georg
2 Gupta, Gopal
2 Haanpää, Harri
2 Hermenegildo, Manuel V.
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 Ornaghi, Mario
2 Orponen, Pekka
2 Pachoulakis, Ioannis
2 Padget, Julian
2 Pearce, David
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
...and 222 more Authors
all top 5

Cited in 30 Serials

30 Theory and Practice of Logic Programming
22 Artificial Intelligence
20 Annals of Mathematics and Artificial Intelligence
8 Fundamenta Informaticae
4 Journal of Logic and Computation
3 The Journal of Artificial Intelligence Research (JAIR)
2 Discrete Applied Mathematics
2 Journal of Computer and System Sciences
2 Studia Logica
2 Journal of Algorithms
2 The Journal of Logic Programming
2 International Journal of Approximate Reasoning
2 AI Communications
1 Journal of Philosophical Logic
1 Synthese
1 Theoretical Computer Science
1 Science of Computer Programming
1 New Generation Computing
1 Journal of Automated Reasoning
1 Journal of Parallel and Distributed Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Designs, Codes and Cryptography
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Constraints
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Science China. Information Sciences
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Monographs in Theoretical Computer Science. An EATCS Series
all top 5

Cited in 11 Fields

229 Computer science (68-XX)
24 Mathematical logic and foundations (03-XX)
7 Biology and other natural sciences (92-XX)
3 Operations research, mathematical programming (90-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Information and communication theory, circuits (94-XX)
2 Combinatorics (05-XX)
1 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Convex and discrete geometry (52-XX)
1 Systems theory; control (93-XX)

Citations by Year