Picture for Ly Ly Trieu

Ly Ly Trieu

New Mexico State Universty

Explanations for Answer Set Programming

Add code
Aug 30, 2023
Viaarxiv icon

exp : Explaining ASP Programs with Choice Atoms and Constraint Rules

Add code
Sep 17, 2021
Figure 1 for exp : Explaining ASP Programs with Choice Atoms and Constraint Rules
Viaarxiv icon

Generating explanations for answer set programming applications

Add code
Apr 18, 2021
Figure 1 for Generating explanations for answer set programming applications
Figure 2 for Generating explanations for answer set programming applications
Figure 3 for Generating explanations for answer set programming applications
Figure 4 for Generating explanations for answer set programming applications
Viaarxiv icon