迪亚斯·莫雷诺，胡安·卡洛斯;麦地那，Jesús;何塞·波蒂略。 探讨超图在多伴随逻辑编程中的应用。 （英语） Zbl 1430.68024号 Cornejo，María Eugenia（编辑）等人，《数学和计算智能趋势》。根据2017年10月4日至7日在葡萄牙法罗举行的第九届欧洲计算智能与数学研讨会（2017年欧洲经济与社会理事会）上的陈述，选出论文。查姆：斯普林格。螺柱计算。智力。796, 53-59 (2019). 摘要：用图形表示逻辑程序是一个有用的过程，以便获得程序的有趣特性，并在计算存在的最小模型时使用。在本文中，我们考虑用超图表示多伴随逻辑程序，并基于这种表示，削弱了有趣终止结果的假设。关于整个系列，请参见[Zbl 1404.68011号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 05C65号 Hypergraphs（Hypergraph） PDF格式BibTeX公司 XML格式引用 \textit{J.C.Díaz-Moreno}等人，Stud.Compute。智力。796、53-59（2019年；Zbl 1430.68024） 全文： 内政部 参考文献： [1] Ausiello，G.，Laura，L.：定向超图：导论和基本算法——一项调查。西奥。计算。科学。658, 293-306 (2017) ·Zbl 1356.68159号 ·doi:10.1016/j.tcs.2016.03.016 [2] Berge，C.：图和超图。爱思唯尔科学有限公司（1985）·Zbl 0565.05030号 [3] Damásio，C.，Medina，J.，Ojeda-Aciego，M.：分类多伴随逻辑程序：终止结果和应用。摘自：《人工智能课堂讲稿》，第3229卷，第252-265页（2004年）·Zbl 1111.68379号 ·doi:10.1007/978-3-540-30227-823 [4] Damásio，C.，Medina，J.，Ojeda-Aciego，M.：用不完全信息终止逻辑程序：应用程序和查询过程。J.应用。日志。5, 435-458 (2007) ·Zbl 1122.68025号 ·doi:10.1016/j.jal.2006.03.004 [5] Damásio，C.V.，Pereira，L.M.：单调逻辑程序和剩余逻辑程序。《不确定性推理的符号和定量方法》，ECSQARU 2001。《人工智能讲义》，第2143卷，第748-759页（2001年）·Zbl 1001.68545号 [6] Dowling，W.F.，Gallier，J.H.：测试命题Horn公式可满足性的线性时间算法。J.日志。程序。1(3), 267-284 (1984) ·Zbl 0593.68062号 ·doi:10.1016/0743-1066（84）90014-1 [7] Gallo，G.，Urbani，G.：测试命题公式可满足性的算法。J.日志。程序。7(1), 45-61 (1989) ·Zbl 0672.68044号 ·doi:10.1016/0743-1066（89）90009-5 [8] Gallo，G.、Longo，G.，Pallottino，S.、Nguyen，S.：定向超图和应用。离散应用程序。数学。42(2-3), 177-201 (1993) ·Zbl 0771.05074号 ·doi:10.1016/0166-218X（93）90045-P [9] Jeroslow，R.G.，Martin，R.K.，Rardin，R.L.，Wang，J.：利昂蒂夫替代流动问题。数学。程序。57, 375-414 (1992) ·兹比尔0778.90080 ·doi:10.1007/BF01581090 [10] Medina，J.，Ojeda-Aciego，M.，Vojtásh，P.：具有连续语义的多伴随逻辑编程。收录于：《人工智能课堂讲稿》，第2173卷，第351-364页（2001年）·Zbl 1007.68023号 ·文件编号：10.1007/3-540-45402-026 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。