swMATH30402MaRDI QIDQ42116FDOQ42116
Author name not available (Why is that?)
Official website: https://pdfs.semanticscholar.org/19b8/2695df2740e460411a0f4660dc565e036323.pdf
Cited In (19)
- Methods and methodologies for developing answer-set programs -- project description
- ASPIDE
- VIDEAS
- ASPVIZ
- ASPDoc
- ASPUnit
- iGROM
- IDPDraw
- Kara
- onlineSPARC
- Lana
- LoIDE
- OntoDLV
- SeaLion
- spock
- ANTON
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Annotating answer-set programs in LANA
- onlineSPARC: a programming environment for answer set programming
This page was built for software: APE
