Dyna swMATH ID: 23357 Software Authors: Jason Eisner; Eric Goldlust; Noah A. Smith; Filardo, N. W. Description: Dyna: A Declarative Language for Implementing Dynamic Programs. We present the first version of a new declarative programming language. Dyna has many uses but was designed especially for rapid development of new statistical NLP systems. A Dyna program is a small set of equations, resembling Prolog inference rules, that specify the abstract structure of a dynamic programming algorithm. It compiles into efficient, portable, C++ classes that can be easily invoked from a larger application. By default, these classes run a generalization of agenda-based parsing, prioritizing the partial parses by some figure of merit. The classes can also perform an exact backward (outside) pass in the service of parameter training. The compiler already knows several implementation tricks, algorithmic transforms, and numerical optimization techniques. It will acquire more over time: we intend for it to generalize and encapsulate best practices, and serve as a testbed for new practices. Dyna is now being used for parsing, machine translation, morphological analysis, grammar induction, and finite-state modeling. Homepage: http://www.aclweb.org/anthology/P04-3032 Related Software: ProbLog; PRISM; kProbLog; BLOG; Church; Datalog; kFOIL; FPsolve; kLog; AMPL; IBAL; PyTorch; TensorFlow; Vadalog; Haskell; Prolog; Tuffy; NetKit; CVXPY; CVXGEN Cited in: 13 Publications all top 5 Cited by 26 Authors 5 De Raedt, Luc 3 Kimmig, Angelika 2 Frasconi, Paolo 2 Orsini, Francesco 1 Abdallah, Samer A. 1 Belle, Vaishak 1 Cerutti, Federico 1 Cohen, Shay B. 1 Giegerich, Robert 1 Horrocks, Ian 1 Hu, Pan 1 Kaplan, Lance M. 1 Kersting, Kristian 1 Ketsman, Bas 1 Koutris, Paraschos 1 Kuželka, Ondřej 1 Mladenov, Martin 1 Motik, Boris 1 Şensoy, Murat 1 Simmons, Robert jun. 1 Smith, Noah A. 1 Šourek, Gustav 1 Tokmakov, Pavel 1 Touzet, Hélène 1 Van Den Broeck, Guy 1 Železný, Filip all top 5 Cited in 6 Serials 4 Machine Learning 2 Artificial Intelligence 2 International Journal of Approximate Reasoning 1 Journal of Applied Logic 1 Foundations and Trends in Databases 1 Algorithms Cited in 3 Fields 13 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year