软件搜索-zbMATH Open

GASP公司

swMATH ID:	7096
软件作者：	亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西
说明：	GASP：具有惰性接地的应答集编程。近年来，答案集编程（Answer Set Programming）作为一种可行的范例在知识表示和推理中得到了广泛的应用。本文提出了一种计算答案集程序答案集的新方法。所提出的方法保持了一种自下而上的答案集计算方法（与现有系统一样），但它使用了一种新颖的计算结构，该结构源自程序的非基础版本。在计算答案集的过程中，接地缓慢进行。该实现是使用有限域上的约束逻辑编程实现的。
主页：	http://users.dimi.uniud.it/~agostino.dovier/PAPERS/LaSh08.pdf
关键词：	答案集程序;逻辑程序设计;非单调推理
相关软件：	克林戈;格林戈;WASP公司;扣环;亚萨特;OMiGA公司;DLV2型;斯莫德尔斯;数据日志;Clingcon公司;ezcsp公司;中国科学院科学院;C模型;超小卫星;DLV-EX公司;伯克明州;萨特齐拉;github;对夹2;糠
引用于：	18文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
GASP：用惰性接地回答集合编程。 Zbl 1207.68118号亚历山德罗·达尔·帕洛;阿戈斯蒂诺·多维尔;恩里科·蓬泰利;吉安弗兰科·罗西	2009

4	弗朗西斯科·卡利默里
4	乔瓦姆巴蒂斯塔·伊安尼
4	彼得·舒勒
4	Jessica Zangari
三	托马斯·艾特
三	西蒙·佩里
2	卡明·多达罗
2	阿戈斯蒂诺·多维尔
2	格哈德·弗里德里希（Gerhard E.Friedrich）。
2	戈帕尔·古普塔
2	托马斯·克伦瓦尔纳
2	克莱尔·莱夫雷
2	弗朗西斯科·帕琴察
2	恩里科·蓬泰利
2	弗朗西斯科·里卡
2	理查德·塔普
2	安东尼乌斯·温齐尔
1	华金·阿里亚斯
1	克里斯托弗·贝亚特里克斯
1	曼纽尔·比什勒
1	曼纽尔·卡罗
1	贝尔纳多·卡特里
1	亚历山德罗·达尔·帕洛
1	马尔科·德·博托利
1	迈克尔·芬克
1	安德烈亚·福米萨诺
1	戴维·福斯卡
1	劳伦特·加西亚
1	马丁·盖布瑟
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	马可·马拉提亚
1	凯尔·马普尔
1	迈克尔·莫拉克
1	尼古拉斯，帕斯卡尔
1	克里斯托夫·雷德尔
1	里卡多·罗查
1	吉安弗兰科·罗西
1	埃尔默·萨拉扎
1	泽尼普·戈岑·萨里巴特
1	康斯坦丁·舍科提欣
1	伊戈尔·斯特芬
1	斯特凡·沃尔特兰

18	计算机科学（68至XX）