Harvey
From MaRDI portal
Software:33202
swMATH21395MaRDI QIDQ33202FDOQ33202
Author name not available (Why is that?)
Cited In (5)
- 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
- Testing in ASP: revisited language and programming environment
- \(\mathsf {Harvey}\): a system for random testing in ASP
This page was built for software: Harvey
