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]
Abstract is missing.