软件搜索-zbMATH Open

iClingo公司

swMATH ID:	11388
软件作者：	罗兰·卡明斯基
描述：	iclingo是一个在clipeo之上实现的增量ASP系统。它基于这样一种思想，即地基和求解器都是以有状态的方式实现的。因此，在增加增量参数的同时，两者都保持其先前的状态。关于基础，在每个增量步骤中，目标是只生成源于当前程序切片的基本规则，而不重新生成以前的基本规则。然后，将地面程序切片逐渐传递给求解器，该求解器将累积基本规则并为其计算答案集。
主页：	http://manpages.ubuntu.com/manpages/precise/man1/iclingo.1.html
相关软件：	格林戈;扣环;克林戈;Potassco公司;中国科学院科学院;斯莫德尔斯;超小卫星;亚萨特;github;WASP公司;糠;C模型;Lparse（L解析）;Clingcon公司;PTTP公司;GHC公司;帕洛;棱镜;炸薯条;SWISH数据实验室
引用于：	15文件

4	马丁·格布瑟
4	托尔斯滕·绍布（Torsten H.Schaub）。
三	尤利亚·利勒
1	萨尔瓦多阿布雷乌
1	Michael Abseher先生
1	金加尔巴苏
1	伯恩哈德·布利姆
1	格哈德·布鲁卡
1	格恩瑟·查瓦特
1	乔瓦尼·西亚托
1	维托尔·桑托斯·科斯塔
1	维罗妮卡·达尔
1	丹尼尔·迪亚兹
1	弗雷德里科·杜斯伯格
1	斯特凡·埃尔马瑟勒
1	约翰·克劳斯·费希特
1	保罗·菲奥里尼
1	迈克尔·盖尔芬德
1	里卡多·贡萨阿尔维斯
1	戈帕尔·古普塔
1	扎卡里·汉森
1	马库斯·赫彻
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	汤米·詹胡宁
1	罗兰·卡明斯基
1	本杰明·考夫曼
1	克诺尔，马蒂亚斯
1	菲利普·科纳
1	约昂·莱特
1	Michael Leuschel先生
1	丹尼尔·梅利
1	何塞·弗朗西斯科·莫拉莱斯
1	菲利普·奥伯迈耶
1	马克斯·奥斯特罗斯基
1	朱卡，帕朱宁
1	德鲁瓦省彭达尔卡
1	约格·普勒
1	奥昆特·萨布努克
1	彼得·舒勒
1	法哈德·沙克林
1	莫汉·斯里德哈兰
1	斯泽德，斯特凡
1	托多罗娃，亚娜
1	Wielemaker，简
1	斯特凡·沃尔特兰