Skip to main content
Main navigation
Who we are
Mission & Vision
Timeline
State Committee
State Office
Contact US
Projects
RIO-NM
SMART Grid
News & Events
News
Events
Webinars
Broader Engagement
Mentor Awards
Postdoc Resource Guide
Publications
REPORTS
Breadcrumb
Home
Broader Engagement
Publications
Collaborator
LY TRIEU
Publications by LY TRIEU
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
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