Reasoning about Medical Triage Optimization with Logic Programming

Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka +2

We present a logic programming framework that orchestrates multiple variants of an optimization problem and reasons about their results to support high-stakes medical decision-maki…