Generating explanations for answer set programming applications
  We present an explanation system for applications that leverage Answer Set
Programming (ASP). Given a program P, an answer set A of P, and an atom a in
the program P, our system generates all explanation graphs of a which help
explain why a is true (or false) given the program P and the answer set A. We
illustrate the functionality of the system using some examples from the
literature.
