弗朗西斯科·奥利维埃里;圭多州长;克里斯塔尼·马特奥;阿卜杜勒·萨塔尔 计算不可行的元逻辑。 （英语） Zbl 07437034号 Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 69-84 (2021).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Olivieri}等人，Lect。注释计算。科学。12678，69-84（2021；Zbl 07437034） 全文： 内政部 链接
圭多州长;弗朗西斯科·奥利维埃里;克里斯塔尼·马特奥;西蒙·斯坎纳皮科 可废除偏好的修订。 （英语） Zbl 1452.68186号 国际J近似推理 104, 205-230 (2019).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}et al.，Int.J.近似推理104，205--230（2019；Zbl 1452.68186） 全文： 内政部 链接