×

ezcsp公司

swMATH标识: 27479
软件作者: 巴尔杜奇尼,马塞洛;利勒,尤利娅
说明: EZCSP是一个推理引擎,允许计算ASP程序的扩展答案集,如[bal09a,bal09b]中所定义的那样。直观地说,EZCSP允许ASP和约束编程(CP)的轻量级集成。ASP程序P的扩展答案集是由P的答案集和由P的答案集定义的约束满足问题(CSP)的解组成的一对。当前版本的EZCSP默认使用gringo+clap(可以指定lparse+smodels或其他解算器)作为ASP解算器,BProlog作为约束解算器。要指定其他解算器,请运行“ezcsp-h”。
主页: http://mbal.tk/ezcsp/
关键词: 约束答案集编程;知识表示;非单调推理
相关软件: 保鲜膜;保鲜膜;黄蜂;扣环;外国佬;喘息;sCASP公司;DLV-EX公司;DLV2型;ASPMT2SMT公司;西斯库斯;伊克林戈;罗斯科林戈;普拉斯普;大脑连接工具箱;亚当;崔弟;特里克斯先生;阿斯匹德;SMT-LIB公司
引用于: 11种出版物

按年份列出的引文