{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:58:58Z","timestamp":1769605138844,"version":"3.49.0"},"reference-count":49,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2019,1,29]]},"DOI":"10.3233\/ia-170030","type":"journal-article","created":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T16:50:35Z","timestamp":1548780635000},"page":"109-124","source":"Crossref","is-referenced-by-count":18,"title":["Nurse (Re)scheduling via answer set programming1"],"prefix":"10.1177","volume":"12","author":[{"given":"Mario","family":"Alviano","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Arcavacata di Rende (CS), Italia"}]},{"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[{"name":"Department of Informatics, Bioengineering, Robotics and Systems Engineering, University of Genova, Genova (GE), Italia"}]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[{"name":"Department of Informatics, Bioengineering, Robotics and Systems Engineering, University of Genova, Genova (GE), Italia"}]}],"member":"179","reference":[{"key":"10.3233\/IA-170030_ref1","first-page":"75","volume-title":"CP, volume of LNCS","author":"Ab\u00edo","year":"2014"},{"issue":"1","key":"10.3233\/IA-170030_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2016-1396","article-title":"Shift design with answer set programming","volume":"147","author":"Abseher","year":"2016","journal-title":"Fundam Inform"},{"issue":"5","key":"10.3233\/IA-170030_ref3","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1016\/S0305-0548(03)00034-0","article-title":"An indirect genetic algorithm for a nurse-scheduling problem","volume":"31","author":"Aickelin","year":"2004","journal-title":"Computers & OR"},{"issue":"5-6","key":"10.3233\/IA-170030_ref4","first-page":"533","article-title":"Anytime answer set optimization via unsatisfiable core shrinking","volume":"16","author":"Alviano","year":"2016","journal-title":"TPLP"},{"key":"10.3233\/IA-170030_ref5","first-page":"67","volume-title":"LPNMR volume 8148 of LNCS","author":"Alviano","year":"2013"},{"key":"10.3233\/IA-170030_ref6","first-page":"40","volume-title":"LPNMR volume 9345 of LNCS","author":"Alviano","year":"2015"},{"key":"10.3233\/IA-170030_ref7","first-page":"2677","volume-title":"IJCAI 2015","author":"Alviano","year":"2015"},{"key":"10.3233\/IA-170030_ref8","doi-asserted-by":"crossref","unstructured":"Alviano M. , Dodaro C. and Maratea M. , An advanced answer set programming encoding for nurse scheduling, In AI*IA, volume to appear, 2017.","DOI":"10.1007\/978-3-319-70169-1_35"},{"key":"10.3233\/IA-170030_ref9","first-page":"87","volume-title":"SAT, volume 9710 of LNCS","author":"Audemard","year":"2016"},{"key":"10.3233\/IA-170030_ref10","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/S0305-0548(03)00249-1","article-title":"A 0-1 goal programming model for nurse scheduling","volume":"32","author":"Naceur Azaiez","year":"2005","journal-title":"Computers & OR"},{"key":"10.3233\/IA-170030_ref11","first-page":"439","volume-title":"LPNMR volume 2173 of LNCS","author":"Balduccini","year":"2001"},{"issue":"2","key":"10.3233\/IA-170030_ref12","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1016\/j.ejor.2003.06.046","article-title":"Preference scheduling for nurses using column generation","volume":"164","author":"Bard","year":"2005","journal-title":"European Journal of Operational Research"},{"issue":"1","key":"10.3233\/IA-170030_ref13","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10729-006-6281-y","article-title":"Incremental changes in the workforce to accommodate changes in demand","volume":"9","author":"Bard","year":"2006","journal-title":"Health Care Management Science"},{"issue":"2","key":"10.3233\/IA-170030_ref14","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1016\/j.ejor.2015.11.022","article-title":"A novel approach for nurse rerostering based on a parallel algorithm","volume":"251","author":"B\u00e4umelt","year":"2016","journal-title":"European Journal of Operational Research"},{"key":"10.3233\/IA-170030_ref15","first-page":"405","volume-title":"SAT volume 9340 of LNCS","author":"Biere","year":"2015"},{"issue":"12","key":"10.3233\/IA-170030_ref16","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Commun ACM"},{"issue":"6","key":"10.3233\/IA-170030_ref17","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1023\/B:JOSH.0000046076.75950.0b","article-title":"The state of the art of nurse rostering","volume":"7","author":"Burke","year":"2004","journal-title":"J Scheduling"},{"key":"10.3233\/IA-170030_ref18","unstructured":"Calimeri F. , Faber W. , Gebser M. , Ianni G. , Kaminski R. , Krennwallner T. , Leone N. , Ricca F. and Schaub T. , ASP-Core-2 Input Language Format, 2013. https:\/\/www.mat.unical.it\/aspcomp\/files\/ASP-CORE-2.01c.pdf."},{"key":"10.3233\/IA-170030_ref19","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","article-title":"Design and results of the fifth answer set programming competition","volume":"231","author":"Calimeri","year":"2016","journal-title":"Artif Intell"},{"key":"10.3233\/IA-170030_ref21","first-page":"159","volume-title":"PATAT volume 2079 of LNCS","author":"Chan","year":"2000"},{"issue":"3","key":"10.3233\/IA-170030_ref22","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0377-2217(03)00021-3","article-title":"Nurse rostering problems - a bibliographic survey","volume":"151","author":"Cheang","year":"2003","journal-title":"European Journal of Operational Research"},{"issue":"4","key":"10.3233\/IA-170030_ref23","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1111\/jonm.12158","article-title":"Rescheduling nursing shifts: Scoping the challenge and examining the potential of mathematical model based tools","volume":"23","author":"Clark","year":"2015","journal-title":"Journal of Nursing Management"},{"key":"10.3233\/IA-170030_ref24","first-page":"301","volume-title":"LPNMR volume 10377 of LNCS","author":"Dodaro","year":"2017"},{"key":"10.3233\/IA-170030_ref25","first-page":"77","volume-title":"RR volume 9209 of LNCS","author":"Dodaro","year":"2015"},{"issue":"5-6","key":"10.3233\/IA-170030_ref26","first-page":"653","article-title":"Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)","volume":"16","author":"Dodaro","year":"2016","journal-title":"TPLP"},{"issue":"1","key":"10.3233\/IA-170030_ref27","first-page":"35","article-title":"Generating explanations for biomedical queries","volume":"15","author":"Erdem","year":"2015","journal-title":"TPLP"},{"issue":"6","key":"10.3233\/IA-170030_ref28","doi-asserted-by":"crossref","first-page":"1351","DOI":"10.1093\/logcom\/ext065","article-title":"An ASP approach for the valves positioning optimization in a water distribution system","volume":"25","author":"Gavanelli","year":"2015","journal-title":"J Log Comput"},{"key":"10.3233\/IA-170030_ref29","first-page":"345","volume-title":"LPNMR volume 6645 of LNCS","author":"Gebser","year":"2011"},{"issue":"2","key":"10.3233\/IA-170030_ref30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","article-title":"Potassco: The potsdam answer set solving collection","volume":"24","author":"Gebser","year":"2011","journal-title":"AI Commun"},{"issue":"2-3","key":"10.3233\/IA-170030_ref31","first-page":"323","article-title":"Detecting inconsistencies in large biological networks with answer set programming","volume":"11","author":"Gebser","year":"2011","journal-title":"TPLP"},{"key":"10.3233\/IA-170030_ref32","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","article-title":"Conflict-driven answer set solving: From theory to practice","volume":"187","author":"Gebser","year":"2012","journal-title":"Artif Intell"},{"key":"10.3233\/IA-170030_ref33","first-page":"2:1","volume-title":"ICLP TCs volume 52 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik","author":"Gebser","year":"2016"},{"issue":"3\/4","key":"10.3233\/IA-170030_ref34","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Comput"},{"issue":"3","key":"10.3233\/IA-170030_ref36","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1016\/j.cor.2005.03.018","article-title":"An ACO algorithm for a dynamic regional nurse-scheduling problem in Austria","volume":"34","author":"Gutjahr","year":"2007","journal-title":"Computers & OR"},{"issue":"1","key":"10.3233\/IA-170030_ref37","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s10479-012-1062-0","article-title":"The first international nurse rostering competition 2010","volume":"218","author":"Haspeslagh","year":"2014","journal-title":"Annals OR"},{"issue":"11","key":"10.3233\/IA-170030_ref38","first-page":"353","article-title":"A heuristic method for nurse rerostering problem with a sudden absence for several consecutive days","volume":"3","author":"Kitada","year":"2013","journal-title":"International Journal of Emerging Technology and Advanced Engineering"},{"issue":"4-5","key":"10.3233\/IA-170030_ref39","first-page":"604","article-title":"Optimizing phylogenetic supertrees using answer set programming","volume":"15","author":"Koponen","year":"2015","journal-title":"TPLP"},{"issue":"10","key":"10.3233\/IA-170030_ref40","doi-asserted-by":"crossref","first-page":"1400","DOI":"10.1016\/j.cor.2010.12.012","article-title":"An evolutionary approach for the nurse rerostering problem","volume":"38","author":"Maenhout","year":"2011","journal-title":"Computers & OR"},{"key":"10.3233\/IA-170030_ref41","first-page":"97","volume-title":"EvoCOP 2013 volume 7832 of LNCS","author":"Maenhout","year":"2013"},{"issue":"6","key":"10.3233\/IA-170030_ref42","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1016\/j.datak.2010.01.005","article-title":"The consistency extractor system: Answer set programs for consistent query answering in databases","volume":"69","author":"Marileo","year":"2010","journal-title":"Data Knowl Eng"},{"issue":"5","key":"10.3233\/IA-170030_ref43","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1287\/opre.24.5.857","article-title":"Nurse scheduling using mathematical programming","volume":"24","author":"Miller","year":"1976","journal-title":"Operations Research"},{"key":"10.3233\/IA-170030_ref44","first-page":"564","volume-title":"CP volume 8656 of LNCS","author":"Morgado","year":"2014"},{"issue":"1-4","key":"10.3233\/IA-170030_ref45","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/B:ANOR.0000019104.39239.ed","article-title":"Solving the problem of rerostering nurse schedules with hard constraints: New multicommodity flow models","volume":"128","author":"Moz","year":"2004","journal-title":"Annals OR"},{"issue":"3","key":"10.3233\/IA-170030_ref46","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1016\/j.cor.2005.03.019","article-title":"A genetic algorithm approach to a nurse rerostering problem","volume":"34","author":"Moz","year":"2007","journal-title":"Computers & OR"},{"key":"10.3233\/IA-170030_ref47","unstructured":"Mutingi M. and Mbohwa C. , The nurse rerostering problem: An explorative study, In International Conference on Industrial Engineering and Operations Management (IEOM), 2017. http:\/\/ieomsociety.org\/ieom2017\/papers\/563.pdf"},{"issue":"4","key":"10.3233\/IA-170030_ref48","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s10732-007-9040-4","article-title":"Solving a biobjective nurse rerostering problem by using a utopic pareto genetic heuristic","volume":"14","author":"Pato","year":"2008","journal-title":"J Heuristics"},{"key":"10.3233\/IA-170030_ref49","first-page":"9","volume-title":"SAT volume 9340 of LNCS","author":"Philipp","year":"2015"},{"issue":"3","key":"10.3233\/IA-170030_ref50","first-page":"361","article-title":"Team-building with answer set programming in the gioiatauro seaport","volume":"12","author":"Ricca","year":"2012","journal-title":"TPLP"},{"issue":"11","key":"10.3233\/IA-170030_ref51","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1016\/j.fss.2009.10.003","article-title":"Nurse scheduling using fuzzy modeling approach","volume":"161","author":"Topaloglu","year":"2010","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-170030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T10:10:25Z","timestamp":1741687825000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-170030"}},"subtitle":[],"editor":[{"given":"Stefano","family":"Ferilli","sequence":"additional","affiliation":[]},{"given":"Francesca Alessandra","family":"Lisi","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2019,1,29]]},"references-count":49,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ia-170030","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,29]]}}}