Dyna
From MaRDI portal
Software:35130
swMATH23357MaRDI QIDQ35130FDOQ35130
Author name not available (Why is that?)
Official website: http://www.aclweb.org/anthology/P04-3032
Cited In (23)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Modern Datalog Engines
- Semiring programming: a semantic framework for generalized sum product problems
- Modular materialisation of Datalog programs
- Dynamic Programming Algorithms as Products of Weighted Logic Programs
- Algebraic model counting
- gl2vec
- Rnamotif
- Handling epistemic and aleatory uncertainties in probabilistic circuits
- IBAL
- ProbView
- Probabilistic (logic) programming concepts
- PRISM
- DyNet
- BLOG
- kFOIL
- Torch-Struct
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- NLProlog
- Beyond graph neural networks with lifted relational neural networks
- Relational linear programming
- kProbLog: an algebraic Prolog for machine learning
- kProbLog: an algebraic Prolog for kernel programming
This page was built for software: Dyna
