Login / Signup
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming.
Paola Cappanera
Marco Gavanelli
Maddalena Nonato
Marco Roma
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
update semantics
tree decomposition
heart failure
causal theories
reasoning tasks
stable model semantics
answer set programs
machine learning
general purpose
stable models