杰苏斯·麦地那;曼纽尔·奥杰达·阿西戈;沃伊塔斯，彼得 多伴随逻辑编程的过程语义。 （英语） Zbl 1053.68540号 Braddil，Pavel（编辑）等人，《人工智能的进展》。知识提取、多智能体系统、逻辑编程和约束求解。第十届葡萄牙会议，EPIA 2001，葡萄牙波尔图，2001年12月17日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43030-X）。莱克特。注释计算。科学。22582290-297（2001年）。 摘要：多伴随逻辑程序概括了单调逻辑程序，因为允许在规则中同时使用多个含义，而在正文中则允许使用一般连接词。本文给出了多伴随逻辑规划范式的过程语义，并证明了完备性定理。有关整个系列，请参见[Zbl 0984.00058号]. 引用于15文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{J.Medina}等人，Lect。注释计算。科学。2258290-297（2001年；Zbl 1053.68540） 全文： 链接