Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2025
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya +5
We introduce Lattice Annotated Temporal (LAT) Logic, an extension of Generalized Annotated Logic Programs (GAPs) that incorporates temporal reasoning and supports open-world semant…