Skip to main content
Main navigation
About Us
Mission & Vision
State Committee
State Office
Contact US
EPSCoR In NM
What is the EPSCoR Program
EPSCoR Funding in NM
Projects
RIO-NM
SMART Grid
DREAM Center
News & Events
News
Events
Webinars
Newsletters
Research Funding
Workshop Awards
SURE Awards
Seed Awards
Citing NM EPSCoR Support
Engagement
Mentor Awards
NM Research Symposium
NM Science & Technology Plan
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