数字媒体控制系统 swMATH ID: 9818 软件作者： Seif El-Din Bairakdar；明道特兰；托马斯·艾特；迈克尔·芬克；托马斯·克伦瓦尔纳 描述： 分布式非单调多上下文系统的DMCS求解器。DMCS系统是异构和非单调多上下文系统（MCS）[3]的平衡语义的实现，其特征是具有异构和可能非单调逻辑的上下文。MCS中的每个上下文由两部分组成：一个本地知识库和一组桥接规则，这些规则可以访问其他上下文的信念并向知识库添加新信息。在这种情况下，上下文是松散耦合的，可以为分布式信息链接应用程序建模；因此，自然会有一个允许对MCS进行分布式评估的系统。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-15675-5_30 相关软件： Clingcon公司;数据日志;GASP公司;DLV-EX公司;糠;斯莫德尔斯;CP网络 引用于： 6文件 全部的 前5名被14位作者引用 4 托马斯·艾特 4 迈克尔·芬克 2 托马斯·克伦瓦尔纳 2 彼得·舒勒 1 塞夫·埃尔·丁·拜拉克达尔 1 格哈德·布鲁卡 1 明州道特兰 1 尤尔根·迪克斯 1 沃尔夫冈·费伯 1 乔瓦姆巴蒂斯塔·伊安尼 1 尤利亚·利勒 1 克里斯托夫·雷德尔 1 苏布拉曼尼亚，V.S。 1 特鲁什琴斯基，米洛斯奥 2篇连载文章中引用 2 人工智能 1 逻辑程序设计理论与实践 在3个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文