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文件 全部的 前5名15位作者引用 6 佩德罗·卡巴拉尔 4 费利西达·阿瓜多 4 吉尔伯托·佩雷斯 4 康塞普西翁·维达尔 三 马丁·迪盖兹 1 劳拉·博泽利 1 Cardenas-Viedma,M.Antonia 1 Stéphane P.德姆里。 1 马克·德内克 1 托马斯·艾特 1 费耶,克里斯蒂娜 1 迈克尔·芬克 1 尤利亚·利勒 1 特鲁什琴斯基,米洛斯奥 1 Joost Vennekens 引用于3个系列 2 应用非经典逻辑杂志 1 模糊集与系统 1 逻辑程序设计理论与实践 在2个字段中引用 10 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文