Ly Ly T. Trieu

According to our database, Ly Ly T. Trieu authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Explanations for Answer Set Programming.

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Advancements in xASP, an XAI System for Answer Set Programming.

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

xASP: An Explanation Generation System for Answer Set Programming.

Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules.

Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Generating explanations for answer set programming applications.

Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini

CoRR, 2021

2020

An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario.

Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh

Theory Pract. Log. Program., 2020