Specification Languages and ASP-based Solutions for Scheduling Problems in Healthcare (Short paper).
Simone CarusoPublished in: DC@AI*IA (2023)
Keyphrases
- specification languages
- scheduling problem
- formal specification
- information systems
- optimal solution
- np hard
- answer set programming
- machine learning
- object oriented programs
- job shop scheduling problem
- health care
- artificial intelligence
- solution space
- benchmark problems
- processing times
- parallel machines
- web applications
- job shop scheduling
- flowshop
- single machine
- database