达马西奥，C.V。；J.麦地那。；Ojeda-Aciego，M。 分类多伴随逻辑程序：终止结果和应用。 （英语） Zbl 1111.68379号 Alferes，JoséJúlio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学讲义3229。人工智能课堂讲稿，252-265（2004）。 摘要：给出了一个逻辑编程的一般框架，该框架允许组合几个真值伴随格。主要贡献是一个新的充分条件，它保证终止对一类有趣程序的定点语义的所有查询。给出了这些条件的几个扩展，并与概率逻辑编程的一些著名形式相关联。有关整个系列，请参见[Zbl 1056.68002号]. 引用于16文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人，Lect。票据计算。科学。3229252--265（2004年；Zbl 1111.68379） 全文： 内政部