Dyna
From MaRDI portal
Cited in
(44)- 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
- WHIRL
- Rnamotif
- DELORES
- ProbLog
- KiCS2
- IBAL
- ProbView
- kLog
- CRF++
- FPsolve
- CRFsuite
- pystruct
- RNAforester
- PRISM
- kProbLog
- DyNet
- Lixto
- BLOG
- kFOIL
- Binder
- Yedalog
- EmptyHeaded
- Torch-Struct
- RDFox
- Vadalog
- Locomotif
- Flix
- 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
- SMProbLog
- DeepProbLog
- NLProlog
- Beyond graph neural networks with lifted relational neural networks
- Relational linear programming
- kProbLog: an algebraic Prolog for machine learning
- gl2vec
- kProbLog: an algebraic Prolog for kernel programming
This page was built for software: Dyna
