ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.

This article focuses on ASPECT, a declarative sub-language of Answer Set Programming (ASP) designed to enable intuitive graphical representations of answer sets, which are typically difficult to interpret due to their verbose textual output. ASPECT allows users to define vector graphics using geometric primitives inspired by the TikZ language, producing LaTeX-compatible output suitable for embedding in scientific documents and presentations. The ASPECT interpreter, implemented in Java, supports multiple operating modes including static graphics, animated sequences for temporal data (e.g., planning problems), and integration with Beamer presentations for slide shows. The paper also demonstrates ASPECT’s use as a domain-specific language for algorithm visualization and schema definition, highlighting its flexibility compared to existing tools, and provides performance evaluations and examples from classic logic puzzles and optimization problems.