Kara

MaRDI QIDQ42106swMATHFDO

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

Cited in

(18)

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

This page was built for software: Kara