Cited in
(only showing first 100 items - show all)- Probabilistic reasoning about epistemic action narratives
- P-log: refinement and a new coherency condition
- Dedicated tabling for a probabilistic setting
- Viterbi training in PRISM
- Probabilistic logic programming for hybrid relational domains
- Information-gain computation in the \textsc{Fifth} system
- Learning to rank in PRISM
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- On the implementation of the probabilistic logic programming language ProbLog
- A taxonomy of weight learning methods for statistical relational learning
- Model checking finite-horizon Markov chains with probabilistic inference
- Inductive logic programming at 30
- Probabilistic programming language and its incremental evaluation
- PASOCS
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
- The magic of logical inference in probabilistic programming
- Exact stochastic constraint optimisation with applications in network analysis
- Constraint-based probabilistic modeling for statistical abduction
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- A semantics for hybrid probabilistic logic programs with function symbols
- Semiring programming: a semantic framework for generalized sum product problems
- Identification of biological transition systems using meta-interpreted logic programs
- An integrated development environment for probabilistic relational reasoning
- Representation learning for dynamic graphs: a survey
- Preprocessing Boolean formulae for BDDs in a probabilistic context
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Probabilistic abstract argumentation frameworks, a possible world view
- On the probability and cost of ignorance, inconsistency, nonsense and more
- Symbolic DNN-tuner
- A probabilistic logic programming event calculus
- scientific article; zbMATH DE number 7453105 (Why is no real title available?)
- Learning Effect Axioms via Probabilistic Logic Programming
- Applying the information bottleneck to statistical relational learning
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Complexity Results for Probabilistic Datalog
- A probabilistic interval-based event calculus for activity recognition
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- 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
- The complexity and generality of learning answer set programs
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- Probabilistic event calculus for event recognition
- On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
- SOLAR
- TOMP
- CrossMine
- TopLog
- WHIRL
- 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
- PRISM
- SUMO
- Figaro
- kProbLog
- DyNet
- PrASP
- RP-DeLP
- Datafun
- Datalog
- VOLT
- ChoiceGAPs
- SCIFF
- SWI-Prolog
This page was built for software: ProbLog
