An intuitive and declarative way to graphically represent answer sets in LaTeX
📚 Full Documentation: https://aspect-docs.readthedocs.io/
💡 Have an idea? 🪲 Found a bug?
Open an issue describing the contribution you would like to make, the bug you found or any other ideas you have. You can also contact us by email ✉️.
The first release of this tool (until v0.1.2) is described in the paper ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex by Alessandro Bertagnon, Marco Gavanelli and Fabio Zanotti accepted for publication at the 38th Italian Conference on Computational Logic (CILC 2023).
An extended version, which details the features introduced up to version v0.1.4, including support for animations and the introduction of a domain-specific language to define pictures, has been published in the Journal of Logic and Computation.
@article{ASPECT2024,
author = {Bertagnon, Alessandro and Gavanelli, Marco},
title = {ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex},
journal = {Journal of Logic and Computation},
volume = {34},
number = {8},
pages = {1580-1607},
year = {2024},
month = {09},
issn = {0955-792X},
doi = {10.1093/logcom/exae042},
url = {https://doi.org/10.1093/logcom/exae042},
eprint = {https://academic.oup.com/logcom/article-pdf/34/8/1580/60953129/exae042.pdf},
}
We want to thank all students that contributed to the development of ASPECT during their thesis at the University of Ferrara:
- Fabio Zanotti
- Lorenzo Chesta
- Francesco Palombo