swMATH23357MaRDI QIDQ35130FDOQ35130
Author name not available (Why is that?)
Official website: http://www.aclweb.org/anthology/P04-3032
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
- Dynamic Programming Algorithms as Products of Weighted Logic Programs
- Algebraic model counting
- gl2vec
- WHIRL
- Rnamotif
- DELORES
- ProbLog
- Handling epistemic and aleatory uncertainties in probabilistic circuits
- KiCS2
- IBAL
- ProbView
- kLog
- CRF++
- FPsolve
- CRFsuite
- pystruct
- RNAforester
- Probabilistic (logic) programming concepts
- PRISM
- kProbLog
- DyNet
- Lixto
- BLOG
- kFOIL
- Binder
- Yedalog
- EmptyHeaded
- Torch-Struct
- RDFox
- Vadalog
- Locomotif
- Flix
- SMProbLog
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- DeepProbLog
- 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
