The following pages link to Harvey (Q33202):
Displaying 5 items.
- Testing in ASP: revisited language and programming environment (Q2055810) (← links)
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language (Q2296746) (← links)
- The return of \textit{xorro} (Q2326736) (← links)
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings (Q2359449) (← links)
- \(\mathsf {Harvey}\): a system for random testing in ASP (Q2401939) (← links)
