摘要：使用ASP进行模态逻辑S5的编码的鲁棒性研究
作者：Mario Alviano, Sotiris Batsakis, George Baryannis
论文ID：2108.04194
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中