SeaLion
From MaRDI portal
Software:42107
swMATH30393MaRDI QIDQ42107FDOQ42107
Author name not available (Why is that?)
Cited In (7)
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- Stepwise debugging of answer-set programs
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- Answering the “why” in answer set programming – A survey of explanation approaches
- Annotating answer-set programs in <scp>Lana</scp>
- onlineSPARC: A Programming Environment for Answer Set Programming
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
This page was built for software: SeaLion
