进化

多年来，在计算机科学的许多领域，逻辑编程已经被证明是表达、查询和操作显式知识的一种良好而自然的工具。但是，在动态环境中使用并不容易。演化逻辑程序（EVOLP）是逻辑编程的一个优雅而强大的扩展，适用于多智能体系统、规划和其他信息动态变化的应用。在本文中，我们通过将EVOLP转换成扩展语言上的等效正常逻辑程序来描述EVOLP，这是现有实现的基础。然后我们证明了所提出的变换是正确和完整的，并检验了它的计算复杂性

zbMATH中的参考文献（参考文献4条,1标准件)

显示第1到第4个结果，共4个。
按年份排序(引用)

  1. 阿尔弗雷斯，何塞·朱利奥；加巴尔登，阿尔弗雷多；Leite，João:带时态运算符的演化逻辑程序（2011）
  2. 莱特，乔昂：玩规则（2010）
  3. 斯洛塔，马丁；Leite，João:EVOLP:基于转换的语义（2009）
  4. 斯洛塔，马丁；Leite，João:EVOLP:一个实现（2009）