Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
Carmine DodaroGiuseppe GalatàMuhammad Kamran KhanMarco MarateaIvan PorroPublished in: AI*IA (2020)
Keyphrases
- operating room
- answer set programming
- scheduling problem
- answer sets
- logic programs
- intraoperative
- logic programming
- constraint logic programming
- image guided surgery
- stable model semantics
- answer set programs
- laparoscopic surgery
- causal theories
- update semantics
- stable models
- combinatorial optimization
- knowledge representation
- np hard
- computer assisted
- medical images
- surgical procedures
- general purpose
- disjunctive logic programming
- haplotype inference
- high level