摘要：一种用于答案集编程（ASP）和线性代数计算满足给定约束条件的稳定模型的端对端方法
作者：Taisuke Sato, Akihiro Takemura, Katsumi Inoue
论文ID：2306.06821
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-14
PDF 下载： 英文版 中文版pdf翻译中