====== Weighted Logic Programming ======

===== Overviews =====

===== Papers =====
  * [[https://www.aclweb.org/anthology/E09-1061.pdf|Lopez 2009 - Translation as Weighted Deduction]]
  * [[https://www.aclweb.org/anthology/W19-3108.pdf|Mörbitz & Vogler 2019 - Weighted parsing for grammar-based language models]] ([[https://www.aclweb.org/anthology/attachments/W19-3108.Presentation.pdf|slides]]) See their related work
  * [[https://www.aclweb.org/anthology/2020.iwpt-1.8.pdf|Balkır et al 2020 - Tensors over Semirings for Latent-Variable Weighted Logic Programs]]

===== Neural Papers =====
  * 

===== Software =====
  * Dyna
    * Repository
      * Old repository: [[https://github.com/nwf/dyna]]
      * New repository: [[https://github.com/matthewfl/dyna-R/]]
    * Papers
      * [[https://www.aclweb.org/anthology/P04-3032.pdf|Eisner et al 2004 - Dyna: A Declarative Language for Implementing Dynamic Program]]
      * [[https://www.aclweb.org/anthology/H05-1036.pdf|Eisner et al 2005 - Compiling Comp Ling: Practical Weighted Dynamic Programming and the Dyna Language]]
      * [[https://cs.jhu.edu/~jason/papers/vieira+al.mapl17.pdf|Vieira et al 2017 - Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications]]
      * [[https://arxiv.org/pdf/2010.10503.pdf|Francis-Landau et al 2020 - Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations]]
  * hyp
    * [[https://www.aclweb.org/anthology/N15-3003.pdf|Dreyer & Graehl 2015 - hyp: A Toolkit for Representing, Manipulating, and Optimizing Hypergraphs]]

===== Related Pages =====
  * [[Decoding]]