Search Results for author:
Found 1 papers, 0 papers with code
ValAsp: a tool for data validation in Answer Set Programming
This paper formalizes the problem of data validation for ASP programs, introduces a language to specify data validation, and presents \textsc{valasp}, a tool to inject data validation in ordinary programs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
