海狮 swMATH ID: 30393 软件作者: Johannes Oetsch、Jörg Pührer、Hans Tompits 描述: 海狮登陆:一个用于应答集编程的IDE——初步报告。我们报告了工具SeaLion的当前状态和指定功能,旨在作为应答编程(ASP)的集成开发环境(IDE)。SeaLion的主要目标是提供一个用户友好的环境,支持开发人员编写、评估、调试和测试答案集程序。为此,必须开发新的支持技术,以满足答案集语义的要求,并满足实际适用性的限制。在这方面,SeaLion从一个项目的研究成果中获益,该项目是在SeaLion实现的背景下开发应答程序的方法和方法。目前,该工具为Gringo和DLV语言提供源代码编辑器,提供语法高亮显示、语法检查和可视化程序大纲。进一步实现的功能是支持外部解算器和可视化以及答案集的可视化编辑。SeaLion是流行的Eclipse平台的一个插件,为IDE的未来扩展提供了接口。 主页: https://arxiv.org/abs/1109.3989 关键词: 综合开发环境;集成电路设备;答案集编程;ASP公司;海狮;arXiv_cs。损益;arXiv_cs。人工智能 相关软件: 天基信息平台;卡拉;APE公司;辐条;ASPVIZ公司;WASP公司;格林戈;iGROM公司;Potassco公司;DLV公司;在线SPARC;斯莫德尔斯;接通DLV;OntoStudio(OntoStudio);路易斯安那州;ANTLR公司;IDPDraw公司;Lparse(L解析);PENGASP公司;乌胡拉 引用于: 7文件 标准条款 1出版物描述软件 年份 海狮登陆:一个用于应答集编程的IDE——初步报告arXiv公司Johannes Oetsch、Jörg Pührer、Hans Tompits 2011 全部的 前5名16位作者引用 三 汉斯·托姆皮茨 2 Johannes Oetsch 2 约格·普勒 2 克劳迪娅·舒尔茨 1 玛丽娜·德沃斯 1 卡明·多达罗 1 斯特凡·埃尔马瑟勒 1 豪尔赫·范丁诺 1 菲利普·加斯泰格 1 托比亚斯·凯恩 1 多阿·吉泽姆·基萨 1 埃利亚斯·马可普洛斯 1 克里斯蒂安·雷亚尔 1 弗朗西斯科·里卡 1 康斯坦丁·舍科提欣 1 张元林 连载1篇 6 逻辑程序设计理论与实践 在3个字段中引用 7 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数学教育(97-XX) 按年份列出的引文