实际HEX swMATH ID: 30409 软件作者： Fink，M.、Germano，S.、Ianni，G.、Redl，C.、Schüller，P 描述： ActHEX：使用Action Atom实现HEX程序。acthex程序是一种将有状态外部环境连接到逻辑程序的方便工具。在acthex框架中，可以根据基于ASP的语言中指定的智能，以声明方式选择、重新安排、调度和执行外部环境中的实际操作。我们在本文中报告了形式化和操作化acthex编程框架的最新改进。除了显著提高框架的通用性之外，我们还提供了示例性应用程序展示和简短评估，展示了计算acthex的优势。 主页： https://link.springer.com/chapter/10.1007/978-3642-40564-8_31 相关软件： 克林戈;o临床;WASP公司;杰森;LARS公司;D*Lite系列;DLVHEX公司;Hexlite公司;蟒蛇;超小卫星;阿司匹林;莫维奥拉;罗索·克林戈;D-扁平;Clingcon公司;扣;Potassco公司;z3（零3）;DLV-EX公司;L解析 引用于： 5文件 全部的 前5名10位作者引用 1 斯特凡·布拉斯 1 托马斯·艾特 1 马丁·格布瑟 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 弗朗西斯科·帕琴察 1 泽尼普·戈岑·萨里巴特 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 彼得·舒勒 1 马里奥·温泽尔 连载1篇 1 逻辑程序设计理论与实践 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文