{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:08:06Z","timestamp":1769602086775,"version":"3.49.0"},"reference-count":46,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2019,8,9]]},"DOI":"10.3233\/ia-190020","type":"journal-article","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T14:53:13Z","timestamp":1566571993000},"page":"63-77","source":"Crossref","is-referenced-by-count":13,"title":["An ASP-based framework for operating room scheduling"],"prefix":"10.1177","volume":"13","author":[{"given":"Carmine","family":"Dodaro","sequence":"first","affiliation":[{"name":"Department of Informatics, Bioengineering, Robotics and Systems Engineering, University of Genova, Genova (GE), Italia"}]},{"given":"Giuseppe","family":"Galat\u00e0","sequence":"additional","affiliation":[{"name":"SurgiQ srl, 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"}]},{"given":"Ivan","family":"Porro","sequence":"additional","affiliation":[{"name":"SurgiQ srl, Genova (GE), Italia"}]}],"member":"179","reference":[{"key":"10.3233\/IA-190020_ref1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.promfg.2016.08.005","article-title":"Operating Room Planning under Surgery Type and Priority Constraints","volume":"5","author":"Abedini","year":"2016","journal-title":"Procedia Manufacturing"},{"issue":"1","key":"10.3233\/IA-190020_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":"Fundamenta Informaticae"},{"key":"10.3233\/IA-190020_ref3","first-page":"1:1","article-title":"Entity set expansion from the web via ASP","author":"Adrian","year":"2017","journal-title":"ICLP (Technical Communications), volume 58 of OASICS"},{"issue":"5-6","key":"10.3233\/IA-190020_ref4","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1017\/S147106841600020X","article-title":"Anytime answer set optimization via unsatisfiable core shrinking","volume":"16","author":"Alviano","year":"2016","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-190020_ref5","first-page":"468","article-title":"An advanced answer set programming encoding for nurse scheduling","author":"Alviano","year":"2017","journal-title":"AI*IA"},{"issue":"2","key":"10.3233\/IA-190020_ref6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/IA-170030","article-title":"Nurse (re)scheduling via answer set programming","volume":"12","author":"Alviano","year":"2018","journal-title":"Intelligenza Artificiale"},{"key":"10.3233\/IA-190020_ref7","first-page":"2","volume-title":"KR","author":"Alviano","year":"2018"},{"key":"10.3233\/IA-190020_ref8","first-page":"241","volume-title":"LPNMR, volume 11481 of Lecture Notes in Computer Science","author":"Alviano","year":"2019"},{"key":"10.3233\/IA-190020_ref9","unstructured":"Amendola G. . Solving the stable roommates problem using incoherent answer set programs. In RiCeRcA@AI*IA, volume 2272 of CEUR Workshop Proceedings. (2018), CEURWS.org."},{"key":"10.3233\/IA-190020_ref10","unstructured":"Amendola G. . Preliminary results on modeling interdependent scheduling games via answer set programming. In RiCeRcA@AI*IA, volume 2272 of CEUR Workshop Proceedings. (2018), CEUR-WS.org."},{"key":"10.3233\/IA-190020_ref11","doi-asserted-by":"crossref","unstructured":"Amendola G. , Dodaro C. , Leone N. and Ricca F. . On the application of answer set programming to the conference paper assignment problem. In AI*IA, volume 10037 of Lecture Notes in Computer Science, (2016), pp. 164\u2013178. Springer.","DOI":"10.1007\/978-3-319-49130-1_13"},{"key":"10.3233\/IA-190020_ref12","first-page":"38","volume-title":"IJCAI","author":"Amendola","year":"2016"},{"key":"10.3233\/IA-190020_ref13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.cor.2014.08.014","article-title":"A two level metaheuristic for the operating room scheduling and assignment problem","volume":"54","author":"Aringhieri","year":"2015","journal-title":"Computers & Operations Research"},{"key":"10.3233\/IA-190020_ref14","first-page":"439","volume-title":"LPNMR","author":"Balduccini","year":"2001"},{"issue":"12","key":"10.3233\/IA-190020_ref15","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":"Communications of the ACM"},{"issue":"5","key":"10.3233\/IA-190020_ref16","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/69.877512","article-title":"Enhancing Disjunctive Datalog by Constraints","volume":"12","author":"Buccafurri","year":"2000","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4-5","key":"10.3233\/IA-190020_ref17","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S1471068413000410","article-title":"Sealion: An eclipse-based IDE for answer-set programming with advanced debugging support","volume":"13","author":"Busoniu","year":"2013","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-190020_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":"Artificial Intelligence"},{"key":"10.3233\/IA-190020_ref21","first-page":"301","volume-title":"LPNMR","author":"Dodaro","year":"2017"},{"key":"10.3233\/IA-190020_ref22","first-page":"77","volume-title":"LNCS","author":"Dodaro","year":"2015"},{"issue":"5-6","key":"10.3233\/IA-190020_ref23","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1017\/S1471068416000284","article-title":"Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)","volume":"16","author":"Dodaro","year":"2016","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-190020_ref24","first-page":"445","volume-title":"AI*IA","author":"Dodaro","year":"2018"},{"issue":"1","key":"10.3233\/IA-190020_ref25","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1017\/S1471068413000598","article-title":"Generating explanations for biomedical queries","volume":"15","author":"Erdem","year":"2015","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"10.3233\/IA-190020_ref26","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","article-title":"Semantics and complexity of recursive aggregates in answer set programming","volume":"175","author":"Faber","year":"2011","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-190020_ref27","first-page":"317","volume-title":"LPNMR","author":"Febbraro","year":"2011"},{"issue":"2","key":"10.3233\/IA-190020_ref28","first-page":"137","article-title":"Exploiting agents in e-learning and skills management context","volume":"19","author":"Garro","year":"2006","journal-title":"AI Communications"},{"issue":"6","key":"10.3233\/IA-190020_ref29","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":"Journal of Logic and Computation"},{"key":"10.3233\/IA-190020_ref30","first-page":"531","volume-title":"LPNMR","author":"Gebser","year":"2015"},{"key":"10.3233\/IA-190020_ref31","first-page":"2:1","volume-title":"ICLP (Technical Communications)","author":"Gebser","year":"2016"},{"key":"10.3233\/IA-190020_ref32","first-page":"4327","volume-title":"AAAI","author":"Gebser"},{"key":"10.3233\/IA-190020_ref33","first-page":"3","volume-title":"LPNMR, volume 10377 of Lecture Notes in Computer Science","author":"Gebser","year":"2017"},{"key":"10.3233\/IA-190020_ref34","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1613\/jair.5373","article-title":"The sixth answer set programming competition","volume":"60","author":"Gebser","year":"2017","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/IA-190020_ref35","unstructured":"Gebser M. , Leone N. , Maratea M. , Perri S. , Ricca F. and Schaub T. . Evaluation techniques and systems for answer set programming: A survey. In Lang J\u00e9r\u00f4me, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, (2018), pp. 5450\u20135456. ijcai.org."},{"issue":"1-4","key":"10.3233\/IA-190020_ref36","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s10472-009-9113-1","article-title":"On the relation among answer set solvers","volume":"53","author":"Giunchiglia","year":"2008","journal-title":"Ann Math Artif Intell"},{"key":"10.3233\/IA-190020_ref37","first-page":"296","volume-title":"JELIA, volume 2424 of Lecture Notes in Computer Science","author":"Giunchiglia","year":"2002"},{"key":"10.3233\/IA-190020_ref38","first-page":"842","volume-title":"CP, volume 2833 of Lecture Notes in Computer Science","author":"Giunchiglia","year":"2003"},{"key":"10.3233\/IA-190020_ref39","unstructured":"Ianni G. , Panetta C. and Ricca F. . Specification of assessment-test criteria through ASP specifications. In Answer Set Programming, volume 142 of CEUR Workshop Proceedings. CEUR-WS.org, 2005."},{"key":"10.3233\/IA-190020_ref40","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.orhc.2016.01.001","article-title":"A hybrid optimization algorithm for surgeries scheduling","volume":"8","author":"Landa","year":"2016","journal-title":"Operations Research for Health Care"},{"issue":"3","key":"10.3233\/IA-190020_ref41","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1609\/aimag.v37i3.2675","article-title":"Systems, engineering environments, and competitions","volume":"37","author":"Lierler","year":"2016","journal-title":"AI Magazine"},{"issue":"6","key":"10.3233\/IA-190020_ref42","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1017\/S1471068413000094","article-title":"A multiengine approach to answer-set programming","volume":"14","author":"Maratea","year":"2014","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-190020_ref43","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1016\/j.cie.2015.10.002","article-title":"New heuristics for planning operating rooms","volume":"90","author":"Molina-Pariente","year":"2015","journal-title":"Computers & Industrial Engineering"},{"issue":"1-2","key":"10.3233\/IA-190020_ref44","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","article-title":"A logic-based system for e-tourism","volume":"105","author":"Ricca","year":"2010","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.3233\/IA-190020_ref45","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S147106841100007X","article-title":"Team-building with answer set programming in the Gioia-Tauro seaport","volume":"12","author":"Ricca","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-190020_ref46","first-page":"510","volume-title":"ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications","author":"Di Rosa","year":"2008"},{"key":"10.3233\/IA-190020_ref47","unstructured":"Shu Albert C., Subbaraj I. and Phan L.. Operating Room Rescheduler. 2015."},{"key":"10.3233\/IA-190020_ref48","first-page":"1","volume-title":"ICAC","author":"Zhang","year":"2017"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-190020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T09:04:47Z","timestamp":1741683887000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-190020"}},"subtitle":[],"editor":[{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[]},{"given":"Bernardo","family":"Magnini","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Passerini","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2019,8,9]]},"references-count":46,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/ia-190020","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,9]]}}}