Dyna
From MaRDI portal
Software:35130
swMATH23357MaRDI QIDQ35130FDOQ35130
Author name not available (Why is that?)
Cited In (13)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Modern Datalog Engines
- kProbLog: An Algebraic Prolog for Kernel Programming
- 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
- Handling epistemic and aleatory uncertainties in probabilistic circuits
- Probabilistic (logic) programming concepts
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- Beyond graph neural networks with lifted relational neural networks
- Relational linear programming
- kProbLog: an algebraic Prolog for machine learning
This page was built for software: Dyna
