The following pages link to ProbLog (Q19009):
Displaying 50 items.
- Regression and progression in stochastic domains (Q2303514) (← links)
- Predictive spreadsheet autocompletion with constraints (Q2303671) (← links)
- P-log: refinement and a new coherency condition (Q2317975) (← links)
- Lifted graphical models: a survey (Q2347709) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics (Q2374532) (← links)
- Lifted discriminative learning of probabilistic logic programs (Q2425249) (← links)
- Online probabilistic theory revision from examples with ProPPR (Q2425252) (← links)
- Probabilistic logic programming for hybrid relational domains (Q2630824) (← links)
- A probabilistic approximate logic for neuro-symbolic learning and reasoning (Q2667187) (← links)
- Exact stochastic constraint optimisation with applications in network analysis (Q2667834) (← links)
- Statistical statements in probabilistic logic programming (Q2694548) (← links)
- Distributed Parameter Learning for Probabilistic Ontologies (Q2827471) (← links)
- kProbLog: An Algebraic Prolog for Kernel Programming (Q2827476) (← links)
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884) (← links)
- Dedicated tabling for a probabilistic setting (Q2883085) (← links)
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions (Q2883089) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- ProbLog Technology for Inference in a Probabilistic First Order Logic (Q2999210) (← links)
- On the implementation of the probabilistic logic programming language ProbLog (Q3008407) (← links)
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434) (← links)
- The magic of logical inference in probabilistic programming (Q3087451) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- An integrated development environment for probabilistic relational reasoning (Q3165886) (← links)
- Probabilistic Programming Language and its Incremental Evaluation (Q3179303) (← links)
- CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
- CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods (Q3582686) (← links)
- Complexity Results for Probabilistic Datalog (Q4576254) (← links)
- Introduction to the special issue on probability, logic and learning (Q4592975) (← links)
- Viterbi training in PRISM (Q4592976) (← links)
- Structure learning of probabilistic logic programs by searching the clause space (Q4592977) (← links)
- A probabilistic logic programming event calculus (Q4592979) (← links)
- Inference and learning in probabilistic logic programs using weighted Boolean formulas (Q4592983) (← links)
- Inference in probabilistic logic programs with continuous random variables (Q4911131) (← links)
- Preprocessing Boolean Formulae for BDDs in a Probabilistic Context (Q4930770) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- (Q4969121) (← links)
- (Q4989395) (← links)
- Optimizing Probabilities in Probabilistic Logic Programs (Q5019596) (← links)
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints (Q5019597) (← links)
- (Q5020546) (← links)
- (Q5028476) (← links)
- Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (Q5038471) (← links)
- (Q5078314) (← links)
- TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure (Q5109895) (← links)
- MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Inference in probabilistic logic programs using lifted explanations (Q5240217) (← links)
- Learning Effect Axioms via Probabilistic Logic Programming (Q5240229) (← links)
