EVOLP公司 swMATH ID: 2677 软件作者： 马丁·斯洛塔 描述： 多年来，逻辑编程已被证明是计算机科学许多领域中表达、查询和操作显式知识的一种良好而自然的工具。然而，在动态环境中使用它并不容易。进化逻辑程序（EVOLP）是逻辑编程的一个优雅而强大的扩展，适用于多代理系统、规划和其他信息趋向于动态变化的用途。在本文中，我们通过将EVOLP转换为扩展语言上的等效常规逻辑程序来描述EVOLP，该扩展语言是现有实现的基础。然后我们证明了所提出的变换是合理和完整的，并检验了其计算复杂性 主页： http://centria.di.fct.unl.pt/evolp/ 操作系统： 操作系统 依赖项： 依赖项 关键词： 关键字 相关软件： LUPS公司；杰森；冲击；ConGolog公司 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 EVOLP：实现。 Zbl 1175.68464号马丁·斯洛塔；约昂·莱特 2009 由4位作者引用 4 约昂·莱特 2 马丁·斯洛塔 1 何塞·朱利奥·阿尔弗雷斯 1 阿尔弗雷多·加巴登 0连载引用 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文