ProbLog
From MaRDI portal
swMATH6945MaRDI QIDQ19009FDOQ19009
Author name not available (Why is that?)
Official website: http://dtai.cs.kuleuven.be/problog/
Cited In (only showing first 100 items - show all)
- On the implementation of the probabilistic logic programming language ProbLog
- An integrated development environment for probabilistic relational reasoning
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- The distribution semantics for normal programs with function symbols
- Complex event processing over distributed probabilistic event streams
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- TOMP
- CrossMine
- PASS
- Timbuk
- Oz
- B-Prolog
- CP-logic
- KReator
- PITA
- YAP-Prolog
- KiCS2
- FODD-Planner
- FluCaP
- Asparagus
- Church
- FACTORIE
- IBAL
- SYMBA
- MYSTIQ
- ProbView
- EasyCheck
- CCalc
- Clingo
- f2lp
- kLog
- FPsolve
- Aleph
- CEL
- LBS
- HermiT
- YAGO
- Pengines
- XSB
- Pronto
- LUBM
- Alchemy
- DeepDive
- CoALP
- PREGO
- Probabilistic (logic) programming concepts
- PRISM
- SUMO
- Figaro
- kProbLog
- DyNet
- PrASP
- RP-DeLP
- Datafun
- Datalog
- VOLT
- ChoiceGAPs
- SCIFF
- SWI-Prolog
- BLOG
- cplint
- MCINTYRE
- Dyna
- kFOIL
- HyPER
- FOIL
- GOLEM
- GDL
- CHR.js
- FlatCurry
- PFLP
- ProBase
- Tuffy
- Wikibase
- AffectNet
- SPINE
- asprin
- PIDoc
- delSAT
- Anglican
- SWISH DataLab
- RoughSets
- VICKEY
- ProPPR
- TensorLog
- Metagol
- Metaopt
- RockIt
- kLog: a language for logical and relational learning with kernels
- AIspace
- FactorBase
- HgMUS
- DL2
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Causal inference in cplint
- kProbLog: an algebraic Prolog for kernel programming
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- ChoiceGAPs: competitive diffusion as a massive multi-player game in social networks
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- Dedicated tabling for a probabilistic setting
This page was built for software: ProbLog
