Cited in
(12)- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- The return of \textit{xorro}
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- ASPIDE
- ArgueApply
- Catnap
- NoHR
- PENGASP
- Uhura
- xorro
- Testing in ASP: revisited language and programming environment
- \(\mathsf {Harvey}\): a system for random testing in ASP
This page was built for software: Harvey
