Kara

MaRDI QIDQ42106swMATHFDO

Official website https://arxiv.org/abs/1109.4095

Cited in

(18)

• ASPIDE
• onlineSPARC
• ASPVIZ
• LoIDE
• iGROM
• SeaLion
• Web-STAR
• SWISH DataLab
• APE
• Lana
• ASPDoc
• ASPUnit
• IDPDraw
• spock
• Annotating answer-set programs in LANA
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• onlineSPARC: a programming environment for answer set programming
• clingraph

This page was built for software: Kara