Dyna
From MaRDI portal
Cited in
(44)- SMProbLog
- DeepProbLog
- NLProlog
- WHIRL
- Rnamotif
- kProbLog: an algebraic Prolog for machine learning
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- DELORES
- ProbLog
- KiCS2
- Beyond graph neural networks with lifted relational neural networks
- IBAL
- ProbView
- Modular materialisation of Datalog programs
- Handling epistemic and aleatory uncertainties in probabilistic circuits
- Semiring programming: a semantic framework for generalized sum product problems
- kLog
- CRF++
- FPsolve
- Algebraic model counting
- pystruct
- CRFsuite
- RNAforester
- kProbLog: an algebraic Prolog for kernel programming
- kProbLog
- DyNet
- Lixto
- BLOG
- kFOIL
- PRISM
- Binder
- Yedalog
- Torch-Struct
- EmptyHeaded
- Vadalog
- RDFox
- Locomotif
- Modern Datalog Engines
- Relational linear programming
- Dynamic Programming Algorithms as Products of Weighted Logic Programs
- Flix
- gl2vec
- Probabilistic (logic) programming concepts
This page was built for software: Dyna
