Harvey

MaRDI QIDQ33202swMATHFDO

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}
• Testing in ASP: revisited language and programming environment
• \(\mathsf {Harvey}\): a system for random testing in ASP
• ASPIDE
• ArgueApply
• Catnap
• NoHR
• PENGASP
• Uhura
• xorro
• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings

This page was built for software: Harvey