盎司

Oz是一种结合了约束推理和并发的高级编程语言。Oz的典型应用领域包括优化问题，如调度、时间表、布局和配置、推理和知识表示、自然语言处理、仿真、多智能体系统和复杂的图形用户界面。Oz是动态类型的，有一流的过程、类、对象、异常和顺序线程通过约束存储进行同步。它支持有限域和特征约束，并具有强大的原语，可在较高层次上编程约束推理机。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献117篇)

显示第117至第20个结果。
按年份排序(引用)
  1. 米歇尔弗拉卡洛里；南丫岛，伊芙丽娜；Riguzzi，Fabrizio:象征性DNN调谐器（2022）
  2. 不，耶；Strichman，Ofer:使用最优算法组合实时解决计算困难问题（2021）
  3. Nguembang Fadja，阿诺；Riguzzi，Fabrizio:提升概率逻辑程序的区分学习（2019）
  4. Ślażynski，Mateusz:局部搜索邻域算子自动合成研究报告（2019）
  5. 拜尔，德克；古尔瓦尼，苏米特；Schmidt，David A.：结合模型检查和数据流分析（2018）
  6. 戈林，安德烈；Ramakrishnan，C.R.：可分离的GPL：具有更多非确定性的可判定模型检验（2018）
  7. Van Cauwelaert，萨沙；伦巴第，米歇尔；Schaus，Pierre：全球约束在实践中的效率如何？公平实验框架（2018）
  8. 米歇尔，L。；Van Hentenryck，P.：约束编程的微内核架构（2017）
  9. Riguzzi，Fabrizio:带函数符号的正态程序的分布语义（2016）
  10. 伊瑟，马库斯；曼蒂，诺伯特；Sinz，Carsten:CNF公式中嵌套门的识别（2015）
  11. Hanus，Michael:函数逻辑编程：从理论到Curry（2013）
  12. 奥拉特，卡洛斯；鲁达，卡米洛；Valencia，Frank D.：并发约束编程的模型和新兴趋势（2013）
  13. 施里杰弗斯，汤姆；塔克，吉多；维尔，皮尔；萨穆洛维茨，霍斯特；Stuckey，Peter J.：搜索组合（2013）
  14. 戈林，安德烈；罗摩克里希南，C.R。；Smolka，Scott A.：概率表逻辑编程的模型检验（2012）
  15. 洛佩斯，里卡多；科斯塔，维托尔桑托斯；费尔南多·席尔瓦：扩展安道尔模式的设计与实施（2012）
  16. 和硕、弘石；佐藤，肯；马，杰飞；拉索，亚历山德拉；Broda，Krysia:层次代理的推测性约束处理（2010）
  17. 瘟疫，但以理；Leuschel，Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范（2010）ioport公司
  18. 施利希，巴斯蒂安；Kowalewski，Stefan:嵌入式系统的模型检查C源代码（2009）ioport公司
  19. 布塞米，玛丽亚·格拉齐亚；Montanari，Ugo:基于约束的编程范式调查（2008）
  20. 鲁舍尔，迈克尔；巴特勒，迈克尔：Prob:B方法的自动分析工具集（2008）ioport公司

更多出版物请访问：http://www.mozart-oz.org/papers/