ASPVIZ

swMATH30389MaRDI QIDQ42103FDOQ42103

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-540-89982-2_65

Cited In (16)

• clingraph
• ASPIDE
• APE
• ASPDoc
• ASPUnit
• iGROM
• IDPDraw
• Kara
• onlineSPARC
• Lana
• LoIDE
• SeaLion
• spock
• \textit{Clingraph}: ASP-based visualization
• Annotating answer-set programs in LANA
• onlineSPARC: a programming environment for answer set programming

This page was built for software: ASPVIZ