Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini. exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. In Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021. Volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
@inproceedings{TrieuSB21,
title = {exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules},
author = {Ly Ly T. Trieu and Tran Cao Son and Marcello Balduccini},
year = {2021},
url = {http://ceur-ws.org/Vol-2970/causalpaper5.pdf},
researchr = {https://researchr.org/publication/TrieuSB21},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021},
editor = {Joaquín Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily Leblanc and Rafael Peñaloza and Elmer Salazar and Ari Saptawijaya and Felix Weitkämper and Jessica Zangari},
volume = {2970},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}