阿斯皮德

ASPIDE:回答集编程的集成开发环境。答案集编程(ASP)是在非单调推理和逻辑编程领域提出的一种真正的声明式编程范例。在过去的几年中,已经提出了几种用于ASP程序开发的工具,包括(或多或少先进的)编辑器和调试器。然而,ASP仍然缺乏支持ASP开发的整个生命周期的集成开发环境(IDE),从(辅助)程序编辑到应用程序部署。在本文中,我们介绍了ASPIDE,一个用于ASP的综合IDE,集成了一个前沿的编辑工具(具有动态语法高亮显示、在线语法校正、自动完成、代码模板、快速修复、重构等),以及一组用户友好的图形工具,用于程序编写、调试、剖析、数据库访问,求解器执行配置和输出处理。


ZBMaX中的参考文献(12篇)1标准条款

显示结果1至12的12。
按年份排序(引文

  1. 多达罗,卡迈恩;GASTEIGER,菲利普;Reale,克里斯蒂安;里卡,弗朗西斯科;SkkoTiHin,康斯坦丁:调试非地面ASP程序:技术和图形工具(2019)
  2. Ellmauthaler,斯特凡(ED);舒尔茨,克劳蒂亚(ED):TPLP关于面向用户的逻辑编程和推理范例的特殊问题的介绍(2019)
  3. Fandinno、豪尔赫、舒尔茨、克劳蒂亚:回答答案集编程中的“为什么”——解释方法综述(2019)
  4. 凯恩,托拜厄斯;Tompits,汉斯:Uhura:用受控自然语言指定答案集程序的创作工具(2019)
  5. Marcopoulos,埃利亚斯;张,Yuanlin:OnLeSePARC:回答集编程的编程环境(2019)
  6. Yuen,Timothy T.;雷耶斯,MARITZA;张,Yuanlin:通过逻辑程序设计向高中生介绍计算机科学(2019)
  7. 舒尔茨、克劳蒂亚、托妮、弗朗西丝卡:论证论证集的合理化(2016)
  8. Confalonieri,罗伯托;普拉德,Henri:用可能性逻辑建模定性决策:答案集编程算法(2014)
  9. 费伯拉罗,奥诺弗里奥;Leone,尼古拉;莱雷,克里斯蒂安;里卡,弗朗西斯科:《TexTysApIDE》中的单元测试(2013)伊波尔特
  10. De Vos,玛丽娜;KISA,D.A GiZEM;奥伊奇,Johannes;P·R,J·ORG;Tompits,汉斯:注释LANA的答案集程序(2012)
  11. 克里斯蒂安,里卡,弗朗西斯科:ASPIDE:回答集编程的集成开发环境(2011)伊波尔特
  12. Johannes Oetsch,J.R.G Pulr,Hans Tompits:SEALION登陆:回答集编程的IDE——初步报告(2011)阿西夫