Feb, 2022
ValAsp: 一种用于 Answer Set Programming 数据验证的工具
ValAsp: a tool for data validation in Answer Set Programming
Mario Alviano, Carmine Dodaro, Arnel Zamayla
TL;DR该论文介绍了解决 ASP 程序中数据验证的问题和如何在程序中注入数据验证工具,以达到快速出错的效果,其方法是使用 YAML、ASP 和 Python 语言来指定验证语句,并为 ASP 验证命令打开了验证指令的可能性。