DLV综合体 swMATH ID: 4434 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;Giovambattista Ianni;尼古拉·莱昂内 描述: DLV-Complex是一个通过函数扩展DLV的答案集编程系统。它是一个非常强大的ASP系统,支持(递归)函数、集合和列表,以及用于操作它们的库。DLV-Complex基于DLV系统和DLV-EX框架,它继承了定义外部谓词的可能性。 主页: https://www.mat.unical.it/dlv-complex网站 关键词: ASP公司;答案集编程 相关软件: DLV-EX公司;接通DLV;CiaoPP公司;Ciao公司;斯莫德尔斯 引用于: 3文件 全部的 前5名6位作者引用 2 弗朗西斯科·卡利默里 2 苏珊娜·科萨 2 乔瓦姆巴蒂斯塔·伊安尼 2 尼古拉·利昂 1 佛罗伦萨,卡米洛 1 马里奥·奥尔纳吉 0连载引用 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文