xASP

swMATH46485MaRDI QIDQ5972478

No author found.

Described by source

• \texttt{xASP}: an explanation generation system for answer set programming

This page was built for software: xASP