阿斯匹德

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


zbMATH中的参考文献(参考12篇文章,1标准件)

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

  1. Dodaro,Carmine;Gasteiger,Philip;Reale,Kristian;Ricca,Francesco;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  2. Ellmouthaler,Stefan(编辑);Schulz,Claudia(编辑):《面向用户的逻辑编程和推理范例TPLP专题介绍》(2019)
  3. Fandinno,Jorge;Schulz,Claudia:回答集编程中的“为什么”——解释方法调查(2019)
  4. Kain,Tobias;Tompits,Hans:Uhura:使用受控自然语言指定答案集程序的创作工具(2019)
  5. Marcopoulos,Elias;Zhang,Yuanlin:onlineSPARC:答案集编程的编程环境(2019)
  6. Yuan,Timothy T.;Reyes,Maritza;Zhang,Yuanlin:通过逻辑编程向高中生介绍计算机科学(2019)
  7. Schulz,Claudia;Toni,Francesca:使用论证证明答案集的合理性(2016)
  8. Confalonieri,Roberto;Prade,Henri:使用可能性逻辑建模定性决策:答案集编程算法(2014)
  9. Febbraro,Onofrio;Leone,Nicola;Reale,Kristian;Ricca,Francesco:在\textitASPIDE中进行单元测试(2013)ioport公司
  10. De Vos,Marina;Kisa,Doía Gizem;Oetsch,Johannes;Pührer,Jörg;Tompits,Hans:LANA答案集程序注释(2012)
  11. Febbraro,Onofrio;Reale,Kristian;Ricca,Francesco:ASPIDE:答案集编程的集成开发环境(2011)ioport公司
  12. Johannes Oetsch,Jörg Pührer,Hans Tompits:SeaLion已经登陆:答案集编程的IDE-初步报告(2011)阿尔十四