×

STeLP公司

swMATH ID: 9772
软件作者: 佩德罗·卡巴拉尔;马丁·迪盖兹
描述: STeLP–用于临时答案集编程的工具。本文提出了STeLP,一种带时态算子的答案集编程求解器。STeLP将一种带有模式运算符的特殊逻辑程序(称为可拆分时态逻辑程序)作为输入,获得其一组时态平衡模型(此扩展语法的稳定模型的推广)。所获得的一组模型用确定性B“uchi自动机来表示,该自动机捕捉完整的程序行为。在一些小例子中,这个自动机可以以直观易读的方式以图形方式显示。输入语言提供了一组结构,允许对时序逻辑程序进行简单定义,包括可以用来简化图形输出的动作域的特殊语法。STeLP结合了标准ASP求解器和线性时序逻辑模型检查器的使用,以便找到输入理论的所有模型。
主页: http://link.springer.com/chapter/10.1007%2F978-3-642-20895-9_43
相关软件: 克林戈;考拉;格林戈;CCalc公司;亚萨特
引用于: 10文件

按年份列出的引文