天基信息平台 swMATH ID: 6309 软件作者: 弗布拉罗,奥诺弗里奥;里尔,克里斯蒂安;弗朗西斯科·里卡 描述: ASPIDE:用于应答集编程的集成开发环境。答案集编程(ASP)是在非单调推理和逻辑编程领域提出的一种真正独立的编程范式。在过去几年中,提出了几个用于ASP程序开发的工具,包括(或多或少是先进的)编辑器和调试器。然而,ASP仍然缺少支持ASP开发的整个生命周期的集成开发环境(IDE),从(辅助)程序编辑到应用程序部署。在本文中,我们介绍了ASPID,这是一个用于ASP的综合IDE,它集成了一个尖端的编辑工具(具有动态语法突出显示、在线语法更正、自动补全、代码模板、快速fix、重构等功能)和一组用户友好的图形工具,用于程序合成、调试、分析、数据库访问、,解算器执行配置和输出处理。 主页: http://www.dlvsystem.com/dlvsystema/index.php/ASPIDE 相关软件: 海狮;卡拉;APE公司;WASP公司;Potassco公司;辐条;ASPVIZ公司;格林戈;克林戈;DLV公司;斯莫德尔斯;ezcsp公司;哈维;iGROM公司;在线SPARC;亚萨特;DLV2型;接通DLV;OntoStudio(OntoStudio);路易斯安那州 引用于: 12文件 标准条款 1出版物描述软件 年份 ASPIDE:用于应答集编程的集成开发环境弗布拉罗,奥诺弗里奥;里尔,克里斯蒂安;弗朗西斯科·里卡 2011 全部的 前5名33位作者引用 三 克劳迪娅·舒尔茨 2 弗朗西斯科·里卡 2 汉斯·托姆皮茨 2 张元林 1 乔瓦尼·阿蒙多拉 1 托拜厄斯·贝雷 1 弗朗西斯科·卡利默里 1 弗朗西斯科·考特鲁西奥 1 卢卡·西内利 1 罗伯托·孔瓦洛尼埃里 1 玛丽娜·德沃斯 1 卡明·多达罗 1 法国杜兰杜比夫 1 斯特凡·埃尔马瑟勒 1 弗拉维奥·埃弗拉多 1 豪尔赫·范丁诺 1 菲利普·加斯泰格 1 托比亚斯·凯恩 1 多阿·吉泽姆·基萨 1 埃利亚斯·马可普洛斯 1 阿尔多·马尔祖洛 1 Johannes Oetsch 1 毛里西奥·奥索里奥。 1 亨利·普拉德。 1 约格·普勒 1 克里斯蒂安·雷亚尔 1 雷耶斯,玛丽莎 1 多米尼克·萨佩·马里尼尔 1 康斯坦丁·舍科提欣 1 克洛迪奥,坚韧 1 乔治·特拉西纳 1 弗朗西丝卡·托尼 1 Timothy T.Yuen。 2篇连载文章中引用 8 逻辑程序设计理论与实践 1 国际近似推理杂志 在4个字段中引用 12 计算机科学(68-XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文