swMATH30393MaRDI QIDQ42107FDOQ42107
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1109.3989
Cited In (27)
- clingraph
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Stepwise debugging of answer-set programs
- ASPIDE
- VIDEAS
- Debugging non-ground ASP programs: technique and graphical tools
- Harvey
- PENGASP
- ASPVIZ
- APE
- ASPDoc
- ASPUnit
- iGROM
- IDPDraw
- Kara
- onlineSPARC
- Lana
- LoIDE
- OntoDLV
- SWISH DataLab
- spock
- Web-STAR
- Uhura
- Answering the ``why in answer set programming -- a survey of explanation approaches
- 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: SeaLion
