莫维奥拉 swMATH ID: 27497 软件作者： 奥昆特Sabunu；莱特，乔~奥 描述： Moviola：通过多热点答案集编程解释动态逻辑程序。基于因果拒绝的更新语义为动态逻辑程序（DLP）赋值，动态逻辑程序是一系列逻辑程序，每个逻辑程序更新前面的逻辑程序。尽管在这些更新语义下有DLP到应答集编程（ASP）逻辑程序的转换，但它们并没有导致高效且易于使用的实现。这主要是因为此类转换旨在离线求解，从某种意义上说，生成的逻辑程序被赋予答案集求解器以计算当前DLP的模型，并且对于任何未来的更新，必须从头开始重复整个过程。我们的目标是通过使用多镜头ASP来纠正这种情况，该ASP由不断变化的程序的迭代答案集计算组成，而无需在每一步从头开始。为此，我们开发了一个名为Moviola的系统，该系统利用多热点答案集求解器Clingo。使用该系统，用户可以交互式地编写DLP，更新它，并根据各种语义动态计算其模型。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_30 相关软件： 克林戈；扣；超小卫星；实际HEX；阿司匹林；罗索·克林戈；D-扁平；Clingcon公司；WASP公司；o克林戈；Potassco公司；z3（零3）；DLV-EX公司；Lparse（L解析）；格林戈；LUPS公司；哈维；无HR；卡特纳普；参数应用 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Moviola：通过多热点答案集编程解释动态逻辑程序。 Zbl 1491.68048号奥昆特·萨布努克；约昂·莱特 2017 全部的 前5名8位作者引用 1 马塞洛·巴尔杜奇尼 1 马丁·格布瑟 1 汤米·詹胡宁 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 约昂·莱特 1 奥昆特·萨布努克 1 托尔斯滕·绍布（Torsten H.Schaub）。 2篇连载文章中引用 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 在2个字段中引用 三 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文