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） 按年份列出的引文