莫扎特 swMATH ID: 4759 软件作者： 彼得·范罗伊；塞夫·哈里迪 描述： 莫扎特编程系统是智能分布式应用程序的高级开发平台。该系统是十年来在编程语言设计和实现、基于约束的推理、分布式计算和人机界面方面研究的结果。因此，莫扎特在表现力和功能性方面是无与伦比的。Mozart有一个交互式增量开发环境和一个用于Unix和Windows平台的生产质量实现。莫扎特是莫扎特联盟正在进行的研究合作的成果。Mozart是基于Oz语言的，它支持声明式编程、面向对象编程、约束编程和作为一个连贯整体的一部分的并发性。对于分发，Mozart提供了真正的网络透明实现，支持网络感知、开放性和容错。Mozart通过其网络透明分发支持多核编程，是通用分布式应用程序以及需要复杂优化和推理能力的难题的理想平台。我们开发了许多应用程序，包括复杂的协作工具、多智能体系统和数字助理，以及自然语言理解和知识表示、调度和时间表以及布局和配置方面的应用程序。 主页： http://www.mozart-oz.org/ 关键词： 欧兹语;分布式应用程序 相关软件： 欧兹;CPLEX公司;炸薯条;乔科;SICStus公司;哈斯克尔;METATEM公司;Java日志;数学网;TPTP公司;克莱尔;彗星;萨特齐拉;sunny-cp公司;本质;SAT时CUD;玲玲;DOC-放松;阿司匹林;HordeSat卫星 引用于： 15文件 更多出版物： http://www.mozart-oz.org/papers网站/ 全部的 前5名41位作者引用 三 马丁·亨茨 2 丹尼斯·杜谢 2 缪勒，托拜厄斯·M·。 2 克里斯蒂安·舒尔特 2 尤根·齐默 1 阿纳利亚·阿曼迪 1 Krzysztof Rafal公寓 1 艾伯特·L·贝克。 1 布恩，Ng Ka 1 品牌，每个 1 马塞洛·R·坎波。 1 丽塔·库奇亚拉 1 安德鲁·戴维森。 1 拉尔夫·德彪斯曼 1 马尔特·加布斯迪尔 1 马可·加瓦内利 1 伊恩·菲利普·根特 1 卡门·葛尔维 1 赛义夫·哈里迪 1 迈克尔·科尔哈斯 1 亚历山大·科勒 1 伊芙琳娜·拉姆 1 Gary T.Leavens。 1 Ciaran McCreesh 1 艾丽卡·梅利斯 1 保罗·梅洛 1 伊恩·米格尔 1 米歇拉·米兰 1 尼尔·C·A·摩尔。 1 Peter W.南丁格尔。 1 马西莫·皮卡尔迪 1 帕特里克·普洛瑟 1 安德鲁·萨德勒 1 克里斯蒂娜·斯特里格尼茨 1 塔克，吉多 1 斯文·泰尔 1 不值得，克里斯 1 彼得·范罗伊 1 蒂姆·沃尔斯 1 Peter Zoeteweij 1 亚历杭德罗·祖尼诺 全部的 前5名9篇连载文章中引用 2 约束条件 2 逻辑程序设计理论与实践 1 理论计算机科学 1 新一代计算 1 自动推理杂志 1 欧洲运筹学杂志 1 逻辑、语言与信息杂志 1 启发式杂志 1 计算机语言、系统和结构 在4个字段中引用 13 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 运筹学、数学编程（90-XX） 1 组合数学（05-XX） 按年份列出的引文