swMATH21395MaRDI QIDQ33202FDOQ33202
Author name not available (Why is that?)
Official website: http://www.kr.tuwien.ac.at/research/systems/harvey/
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
