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.68797Syrjä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 all top 5 Cited in 30 Serials 28 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 227 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 7 Biology and other natural sciences (92-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) 2 Operations research, mathematical programming (90-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