Scheduling pre-operative assessment clinic with answer set programming.
Simone CarusoGiuseppe GalatàMarco MarateaMarco MochiIvan PorroPublished in: J. Log. Comput. (2024)
Keyphrases
- answer set programming
- pre operative
- intraoperative
- x ray
- logic programs
- logic programming
- answer sets
- ct data
- mr images
- causal theories
- minimally invasive
- answer set programs
- computer assisted
- patient data
- atrial fibrillation
- post operative
- stable model semantics
- left atrium
- disjunctive logic programming
- position and orientation
- haplotype inference
- knowledge representation
- imaging modalities
- ct scans
- high level
- clinical data
- medical images
- domain knowledge
- expert systems