SeaLion
From MaRDI portal
Cited in
(27)- ASPIDE
- VIDEAS
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Harvey
- PENGASP
- onlineSPARC
- ASPVIZ
- LoIDE
- iGROM
- Kara
- Web-STAR
- SWISH DataLab
- APE
- Lana
- ASPDoc
- ASPUnit
- IDPDraw
- spock
- OntoDLV
- Uhura
- Stepwise debugging of answer-set programs
- Annotating answer-set programs in LANA
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- Answering the ``why in answer set programming -- a survey of explanation approaches
- onlineSPARC: a programming environment for answer set programming
- Debugging non-ground ASP programs: technique and graphical tools
- clingraph
This page was built for software: SeaLion
