First name
LY
Middle name
LY T
Last name
TRIEU
Title: exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
All collaborators: LY TRIEU, Tran Son, Marcello Balduccini
Date: Sep, 2021
Journal Article: Electronic Proceedings in Theoretical Computer Science
Abstract
Title: An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
All collaborators: BOTROS HANNA, LY TRIEU, Tran Son, NAM DINH
Date: Nov, 2020
Journal Article: Theory and Practice of Logic Programming
Abstract
Return to Publications