戴纳 swMATH ID: 23357 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 描述： Dyna：实现动态程序的声明语言。我们介绍了一种新的声明性编程语言的第一个版本。Dyna有很多用途，但它是专门为快速开发新的统计NLP系统而设计的。Dyna程序是一组小方程，类似于Prolog推理规则，用于指定动态编程算法的抽象结构。它可以编译成高效、可移植的C++类，这些类可以很容易地从大型应用程序中调用。默认情况下，这些类运行基于agenda的解析的泛化，根据一些优点对部分解析进行优先级排序。这些类还可以在参数培训服务中执行精确的向后（外部）传递。编译器已经知道几个实现技巧、算法转换和数值优化技术。随着时间的推移，它将获得更多：我们打算让它概括和封装最佳实践，并作为新实践的测试平台。Dyna现在被用于解析、机器翻译、形态分析、语法归纳和有限状态建模。 主页： http://www.aclweb.org/选集/P04-3032 相关软件： ProbLog（问题日志）；棱镜；千ProbLog；博客；数据日志；教堂；TensorFlow公司；kFOIL公司；FPsolve解决方案；千对数；AMPL公司；IBAL公司；PyTorch公司；流浪汉；哈斯克尔；DiffSharp（差异锐化）；西雅娜；火炬；序言；古罗比 引用于： 13文件 全部的 前5名26位作者引用 5 吕克·德·雷德 三 安吉丽卡·基米格 2 保罗·弗雷斯科尼 2 弗朗西斯科·奥西尼 1 萨默尔·阿卜杜拉。 1 瓦夏克·贝勒 1 费德里科·塞鲁蒂 1 谢·科恩（Shay B.Cohen）。 1 罗伯特·吉格里奇 1 伊恩·霍洛克斯 1 胡、潘 1 兰斯·卡普兰（Lance M.Kaplan）。 1 克里斯蒂安·凯斯廷 1 巴斯·凯茨曼 1 Koutris，Paraschos公司 1 库泽·埃尔卡，Ondřej 1 马丁·姆拉德诺夫 1 鲍里斯·莫提克 1 Şensoy，穆拉特 1 西蒙斯（Robert jun Simmons）。 1 诺亚·A·史密斯。 1 古斯塔夫·苏雷克 1 帕维尔·托克马科夫 1 海莱内·图泽特 1 范登·布勒克，盖伊 1 Zhi elezn，Filip先生 全部的 前5名引用于6个系列 4 机器学习 2 人工智能 2 国际近似推理杂志 1 应用逻辑杂志 1 数据库的基础和趋势 1 算法 在3个字段中引用 13 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文