{"id":"https://openalex.org/W4401116896","doi":"https://doi.org/10.1093/logcom/exae041","title":"Operating room scheduling via answer set programming: Improved encoding and test on real data","display_name":"Operating room scheduling via answer set programming: Improved encoding and test on real data","publication_year":2024,"publication_date":"2024-07-29","ids":{"openalex":"https://openalex.org/W4401116896","doi":"https://doi.org/10.1093/logcom/exae041"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae041","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031224507","display_name":"Carmine Dodaro","orcid":"https://orcid.org/0000-0002-5617-5286"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Carmine Dodaro","raw_affiliation_strings":["DeMaCS, University of Calabria , Rende, 87036 ,","DeMaCS, University of Calabria, Rende, 87036, Italy"],"affiliations":[{"raw_affiliation_string":"DeMaCS, University of Calabria , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"DeMaCS, University of Calabria, Rende, 87036, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040648313","display_name":"Giuseppe Galat\u00e0","orcid":"https://orcid.org/0000-0002-1948-4469"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Galat\u00e0","raw_affiliation_strings":["SurgiQ srl , Genova, 16100 ,","SurgiQ srl, Genova, 16100, Italy"],"affiliations":[{"raw_affiliation_string":"SurgiQ srl , Genova, 16100 ,","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"SurgiQ srl, Genova, 16100, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006066772","display_name":"Martin Gebser","orcid":"https://orcid.org/0000-0002-8010-4752"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Gebser","raw_affiliation_strings":["Department of Artificial Intelligence and Cybersecurity, University of Klagenfurt , Klagenfurt ,","Department of Artificial Intelligence and Cybersecurity, University of Klagenfurt, Klagenfurt, Austria"],"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence and Cybersecurity, University of Klagenfurt , Klagenfurt ,","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Department of Artificial Intelligence and Cybersecurity, University of Klagenfurt, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077756388","display_name":"Marco Maratea","orcid":"https://orcid.org/0000-0002-9034-2527"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Maratea","raw_affiliation_strings":["DeMaCS, University of Calabria , Rende, 87036 ,","DeMaCS, University of Calabria, Rende, 87036, Italy"],"affiliations":[{"raw_affiliation_string":"DeMaCS, University of Calabria , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"DeMaCS, University of Calabria, Rende, 87036, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067207542","display_name":"Cinzia Marte","orcid":"https://orcid.org/0000-0003-3920-8186"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cinzia Marte","raw_affiliation_strings":["DeMaCS, University of Calabria , Rende, 87036 ,","DeMaCS, University of Calabria, Rende, 87036, Italy"],"affiliations":[{"raw_affiliation_string":"DeMaCS, University of Calabria , Rende, 87036 ,","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"DeMaCS, University of Calabria, Rende, 87036, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065073734","display_name":"Marco Mochi","orcid":"https://orcid.org/0000-0002-5849-3667"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Mochi","raw_affiliation_strings":["DIBRIS, University of Genoa , Genova, 16100 ,","DIBRIS, University of Genoa, Genova, 16100, Italy"],"affiliations":[{"raw_affiliation_string":"DIBRIS, University of Genoa , Genova, 16100 ,","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"DIBRIS, University of Genoa, Genova, 16100, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114199713","display_name":"Marco Scanu","orcid":null},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Scanu","raw_affiliation_strings":["SurgiQ srl , Genova, 16100 ,","SurgiQ srl, Genova, 16100, Italy"],"affiliations":[{"raw_affiliation_string":"SurgiQ srl , Genova, 16100 ,","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"SurgiQ srl, Genova, 16100, Italy","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5031224507"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.0878,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80776041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"34","issue":"8","first_page":"1556","last_page":"1579"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7240390777587891},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7066828608512878},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6934911608695984},{"id":"https://openalex.org/keywords/real-world-data","display_name":"Real world data","score":0.5352562069892883},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45384329557418823},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.25505781173706055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.153449147939682},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09830275177955627},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.0885431170463562}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7240390777587891},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7066828608512878},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6934911608695984},{"id":"https://openalex.org/C3020493868","wikidata":"https://www.wikidata.org/wiki/Q55631277","display_name":"Real world data","level":2,"score":0.5352562069892883},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45384329557418823},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25505781173706055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.153449147939682},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09830275177955627},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.0885431170463562}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exae041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae041","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1975774078","https://openalex.org/W2048031246","https://openalex.org/W2049791401","https://openalex.org/W2063310744","https://openalex.org/W2064864283","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2106614716","https://openalex.org/W2252184786","https://openalex.org/W2550449472","https://openalex.org/W2807861347","https://openalex.org/W2926083238","https://openalex.org/W2939934760","https://openalex.org/W2969983285","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3203072813","https://openalex.org/W4298394180","https://openalex.org/W4365147121","https://openalex.org/W4385071282","https://openalex.org/W6637298476","https://openalex.org/W6732635222","https://openalex.org/W6740336292","https://openalex.org/W6744918070","https://openalex.org/W6745667845","https://openalex.org/W6756462864","https://openalex.org/W6762169708","https://openalex.org/W6767558261","https://openalex.org/W6786867819","https://openalex.org/W6795588536","https://openalex.org/W6807150956"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2092211394","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W4221009164","https://openalex.org/W4401116896"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"Operating":[2],"Room":[3],"Scheduling":[4],"(ORS)":[5],"problem":[6,21],"deals":[7],"with":[8,112,136],"the":[9,29,37,41,49,64,72,80,106,113,131,137,143,159],"optimization":[10],"of":[11,32,43,75,116,130],"daily":[12],"operating":[13,123],"room":[14],"surgery":[15],"schedules.":[16],"It":[17],"is":[18],"a":[19,100],"challenging":[20],"subject":[22],"to":[23,27,71,134,168],"many":[24],"constraints,":[25],"like":[26],"determine":[28],"starting":[30],"time":[31],"different":[33,46],"surgeries":[34],"and":[35,62,127],"allocating":[36],"required":[38],"resources,":[39],"including":[40],"availability":[42],"beds":[44],"in":[45],"units.":[47],"In":[48,94],"past":[50],"years,":[51],"Answer":[52],"Set":[53],"Programming":[54],"(ASP)":[55],"has":[56],"been":[57,87],"successfully":[58],"employed":[59],"for":[60,105],"addressing":[61],"solving":[63],"ORS":[65,83,107],"problem.":[66,108],"Despite":[67],"its":[68],"importance,":[69],"due":[70],"inherent":[73],"difficulty":[74],"retrieving":[76],"real":[77,114,171],"data,":[78],"all":[79],"analyses":[81],"on":[82,89,146,154],"ASP":[84,103,132,160],"encodings":[85,133,145],"have":[86],"performed":[88],"synthetic":[90],"data":[91,149],"so":[92],"far.":[93],"this":[95],"paper,":[96],"first":[97],"we":[98,110,141],"present":[99,128],"new,":[101],"improved":[102],"encoding":[104],"Then,":[109],"deal":[111,135],"case":[115],"ASL1":[117,151],"Liguria,":[118],"an":[119],"Italian":[120],"health":[121],"authority":[122],"through":[124],"three":[125],"hospitals,":[126],"adaptations":[129],"real-world":[138],"data.":[139],"Further,":[140],"analyse":[142],"resulting":[144],"hospital":[147],"scheduling":[148],"by":[150],"Liguria.":[152],"Results":[153],"some":[155],"scenarios":[156],"show":[157],"that":[158],"solutions":[161],"produce":[162],"satisfying":[163],"schedules":[164],"also":[165],"when":[166],"applied":[167],"such":[169],"challenging,":[170],"data.1":[172]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}