OMiGA公司 swMATH ID: 33084 软件作者: 明道然;托马斯·艾特;迈克尔·芬克;杰拉尔德·魏丁格;安东尼乌斯·温齐尔 描述: OMiGA:一个开放式的基础解决方案。我们提出了一种新的答案集程序求解器,其主要功能包括建立在动态基础上,并准备用于求解分布式答案集程序。解算器用Java实现,并使用底层Rete网络进行传播。初步实验结果表明,使用Rete实现这一目的的好处,但也显示了在飞行中进行学习的必要性。 主页: https://link.springer.com/chapter/10.1007/978-3-642-33353-8_38 相关软件: 克林戈;格林戈;GASP公司;WASP公司;DLV2型;扣环;github;对夹2;查夫;ASPeRiX公司;亚萨特;双接地器;C模型;萨特齐拉;国内流离失所者3;汽车-WEKA;DLV公司;Lparse(Lparse);Lpopt公司;高温气冷堆 引用于: 9文件 全部的 前5名23位作者引用 三 弗朗西斯科·卡利默里 三 西蒙·佩里 三 Jessica Zangari 2 克里斯托弗·贝亚特里克斯 2 格哈德·弗里德里希(Gerhard E.Friedrich)。 2 劳伦特·加西亚 2 克莱尔·莱夫雷 2 伊戈尔·斯特芬 2 理查德·塔普 2 安东尼乌斯·温齐尔 1 卡明·多达罗 1 戴维·福斯卡 1 马丁·格布瑟 1 乔瓦姆巴蒂斯塔·伊安尼 1 汤米·詹胡宁 1 霍尔格·约斯特 1 罗兰·卡明斯基 1 尤利亚·利勒 1 弗朗西斯科·帕琴察 1 贾斯汀·罗宾斯 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 康斯坦丁·舍科提欣 1 彼得·舒勒 在1个序列中引用 5 逻辑程序设计理论与实践 在1个字段中引用 9 计算机科学(68至XX) 按年份列出的引文