swMATH30392MaRDI QIDQ42106FDOQ42106
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1109.4095
Cited In (18)
- clingraph
- ASPIDE
- ASPVIZ
- APE
- ASPDoc
- ASPUnit
- iGROM
- IDPDraw
- onlineSPARC
- Lana
- LoIDE
- SeaLion
- SWISH DataLab
- spock
- Web-STAR
- 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
