托马斯·艾特;埃斯拉·埃尔登;芬克,迈克尔;詹森科 基于语义偏好比较动作描述。 (英语) Zbl 1125.68114号 安。数学。Artif公司。智力。 50,编号3-4,273-304(2007).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《数学年鉴》。Artif公司。智力。50,编号3--4,273--304(2007;Zbl 1125.68114) 全文: 内政部 链接
托马斯·艾特;迈克尔·芬克 稳定模型语义下逻辑程序的一致等价。 (英语) Zbl 1204.68052号 Palamidessi,Catuscia(编辑),《逻辑编程》。2003年12月9日至13日在印度孟买举行的第19届国际会议,ICLP 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20642-6/pbk)。莱克特。注释计算。科学。2916, 224-238 (2003).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{M.Fink},莱克特。注释计算。科学。2916、224--238(2003年;Zbl 1204.68052) 全文: 内政部