Master Surgical Scheduling via Answer Set Programming.

Marco Mochi Giuseppe Galatà Marco Maratea

Published in: J. Log. Comput. (2023)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
causal theories
constraint logic programming
stable model semantics
answer set programs
meta level reasoning
stable models
tree decomposition
disjunctive logic programming
haplotype inference