Harvey
From MaRDI portal
Software:33202
No author found.
Related Items (5)
Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings ⋮ \(\mathsf {Harvey}\): a system for random testing in ASP ⋮ Uhura: an authoring tool for specifying answer-set programs using controlled natural language ⋮ Testing in ASP: revisited language and programming environment ⋮ The return of \textit{xorro}
This page was built for software: Harvey
