Clingraph: a system for ASP-based visualization

DOI10.1017/S147106842400005XMaRDI QIDQ6656461zbMATH OpenFDO

Authors Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Publication date 3 January 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S147106842400005X

zbMATH Keywords

knowledge representationlogic programming methodologynonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• ASP modulo CSP: the clingcon system
• A tutorial on hybrid answer set solving with \textit{clingo}
• Clingo goes linear constraints over reals and integers
• Multi-shot ASP solving with clingo

Cites work

• \textit{Clingraph}: ASP-based visualization
• Answer set programming

This page was built for publication: Clingraph: a system for ASP-based visualization

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