欧兹 swMATH ID: 6799 软件作者: Henz,M.、Smolka,G.和Würtz,J。 描述: Oz是一种结合约束推理和并发的高级编程语言。Oz的典型应用领域包括优化问题,如调度、时间表、布局和配置、推理和知识表示、自然语言处理、仿真、多代理系统和复杂的图形用户界面。Oz是动态类型的,具有通过约束存储同步的一级过程、类、对象、异常和顺序线程。它支持有限域和特征约束,并具有强大的原语,用于在较高级别上编程约束推理引擎。 主页: http://www.ps.uni-saarland.de/oz2/ 相关软件: 炸薯条;莫扎特;克莱尔;CPLEX公司;SALSA公司;SICStus公司;哈斯克尔;XSB公司;AMPL公司;皮克特;OPL公司;玩具;巴贝尔;咖喱;METATEM公司;ETPS公司;ProbLog(问题日志);彗星;本地化程序;迷你锌 引用于: 110文件 更多出版物: http://www.mozart-oz.org/papers网站/ 全部的 前5名188位作者引用 6 约阿希姆·尼伦 5 马丁·亨茨 5 弗兰克·巴伦西亚。 5 帕斯卡·范·亨特利克 4 罗尔夫·巴科芬 4 迈克尔·哈纳斯 三 安德烈亚斯·弗兰克 三 迈克尔·科尔哈斯 三 伊芙琳娜·拉姆 三 劳伦特·米歇尔 三 缪勒,托拜厄斯·M·。 三 法布里西奥·里古齐 三 格特·斯莫尔卡 三 尤根·齐默 2 迪尼斯·杜契尔 2 瑞希德·埃哈希德 2 安东尼奥·J·费尔南德斯。 2 马可·加瓦内利 2 安德烈·戈林 2 赛义夫·哈里迪 2 Hortalá-González,特蕾莎 2 Jean-Marie雅克 2 Jean-Pierre Jouannaud 2 亚历山大·科勒 2 伊莎贝尔·林登 2 卢克斯,沃尔夫冈 2 马丁·奥列特,纳西索 2 艾丽卡·梅利斯 2 梅洛,保拉 2 米兰,米凯拉 2 卡图西亚帕拉米德斯 2 罗马克里希南,C.R。 2 马里奥·罗德里格斯-阿塔莱霍 2 卡米洛·鲁埃达 2 Sáenz-Pérez,费尔南多 2 汤姆·施里杰弗斯 2 克里斯蒂安·舒尔特 2 施温哈默(Jan Schwinghammer) 2 温德林·塞维 2 斯科特·斯莫尔卡。 2 拉尔夫·特里宁 2 彼得·范罗伊 2 约阿希姆·保罗·瓦尔泽 2 威尔,塞巴斯蒂安 1 萨尔瓦多阿布雷乌 1 Afrati,Foto N。 1 约翰·安斯沃思 1 艾尔维拉·阿尔伯特 1 马尔科·阿尔贝蒂 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 阿纳利亚·阿曼迪 1 西奥多·安德洛尼科斯 1 塞尔吉奥·安托伊 1 Krzysztof Rafal公寓 1 弗朗西丝卡·阿塞利 1 萨米克·巴苏 1 德克·拜尔 1 亚历山大·博克迈尔 1 布恩,Ng Ka 1 Uwe M.博格霍夫。 1 品牌,Per 1 伯恩德·布拉埃尔 1 布罗达,Krysia B。 1 安东尼奥·布罗吉 1 乍得·布朗·爱德华 1 詹妮弗·伯格。 1 巴斯米,玛丽亚·格拉齐亚 1 马可·卡多利 1 马塞洛·R·坎波。 1 伊夫·卡索 1 布莱恩·卡斯托 1 Manuel M.T.查克拉瓦蒂。 1 维托尔德·查拉托尼克 1 休伯特·科蒙 1 维托尔·桑托斯·科斯塔 1 丽塔·库奇亚拉 1 德波尔(Frank S。 1 德博舍尔,科恩 1 拉斐尔·德尔瓦多·维塞达 1 丹尼斯,路易斯·阿比盖尔 1 梅赫迈特·丁卡斯 1 呃,凯特琳 1 利贾·费雷拉 1 费兰特·Formato 1 尤格尼·福斯托科斯 1 米歇尔·弗拉卡罗利 1 毛里齐奥·加布里埃利 1 沃尔夫冈·盖尔克 1 伊雷纳游击队 1 苏米特·古尔瓦尼 1 郭一科 1 马库斯·汉内鲍尔 1 沃里克·哈维 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 马克·赫尔墨斯 1 斯蒂芬·赫斯(Stephan M.Hess)。 1 伯特霍尔德·霍夫曼 1 浩史细部 1 弗兰克,哈 1 马修·亨巴赫(Matthew M.Huntbach)。 …还有88位作者 全部的 前5名31篇连载文章中引用 12 约束条件 6 理论计算机科学 5 逻辑程序设计理论与实践 5 计算机科学课堂讲稿 三 计算机程序设计科学 三 逻辑程序设计杂志 三 自动化推理杂志 三 信息计算杂志 2 信息与计算 2 机器学习 2 数学与人工智能年鉴 2 高阶和符号计算 1 信息处理信件 1 运筹学 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 国际生产研究杂志 1 符号计算杂志 1 新一代计算 1 国际近似推理杂志 1 人工智能通信 1 并行:实践与经验 1 欧洲运筹学杂志 1 系统设计中的形式化方法 1 离散数学和理论计算机科学。DMTCS公司 1 欧洲理论计算机科学协会公报 1 语法 1 计算机基础理论 1 通用计算机科学杂志 1 计算与信息学 1 计算机语言、系统和结构 1 计算机科学评论 在5个字段中引用 97 计算机科学(68至XX) 14 运筹学、数学规划(90-XX) 11 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文