ASPECT: answer set representation as vector graphics in LaTeX

DOI10.1093/LOGCOM/EXAE042MaRDI QIDQ7004080zbMATH OpenFDO

Authors A. Bertagnon, Marco Gavanelli

Publication date 3 April 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE042

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30) Presentation and content markup for mathematics (68V25)

Cites work

• \textit{Clingraph}: ASP-based visualization
• Conflict-driven answer set solving: from theory to practice
• New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
• The ASP system DLV2
• The DLV system for knowledge representation and reasoning

Cited in

(1)

• New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic

This page was built for publication: ASPECT: answer set representation as vector graphics in LaTeX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7004080)