SeaLion
From MaRDI portal
Cited in
(27)- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Stepwise debugging of answer-set programs
- ASPIDE
- VIDEAS
- Harvey
- PENGASP
- ASPVIZ
- APE
- ASPDoc
- ASPUnit
- iGROM
- IDPDraw
- Kara
- onlineSPARC
- Lana
- LoIDE
- OntoDLV
- SWISH DataLab
- spock
- Web-STAR
- Uhura
- Debugging non-ground ASP programs: technique and graphical tools
- Answering the ``why in answer set programming -- a survey of explanation approaches
- 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: SeaLion
