ProbLog

swMATH6945MaRDI QIDQ19009FDOQ19009

Author name not available (Why is that?)

Described by source

• \(k\)-optimal: a novel approximate inference algorithm for ProbLog

Cited In (only showing first 100 items - show all)

• Dedicated tabling for a probabilistic setting
• Viterbi training in PRISM
• CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods
• 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
• Model checking finite-horizon Markov chains with probabilistic inference
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• The magic of logical inference in probabilistic programming
• Speeding up parameter and rule learning for acyclic probabilistic logic programs
• Exact stochastic constraint optimisation with applications in network analysis
• Constraint-based probabilistic modeling for statistical abduction
• A semantics for hybrid probabilistic logic programs with function symbols
• kProbLog: An Algebraic Prolog for Kernel Programming
• A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty
• An integrated development environment for probabilistic relational reasoning
• Identification of biological transition systems using meta-interpreted logic programs
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• A probabilistic logic programming event calculus
• Applying the information bottleneck to statistical relational learning
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Probabilistic Programming Language and its Incremental Evaluation
• A probabilistic interval-based event calculus for activity recognition
• CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• The complexity and generality of learning answer set programs
• 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
• On the Efficient Execution of ProbLog Programs
• Probabilistic abductive logic programming using Dirichlet priors
• Stochastic relational processes: efficient inference and applications
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs
• Efficient inference and learning in a large knowledge base. Reasoning with extracted information using a locally groundable first-order probabilistic logic
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic (logic) programming concepts
• TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure
• Compressing probabilistic Prolog programs
• ChoiceGAPs: Competitive Diffusion as a Massive Multi-player Game in Social Networks
• kLog: a language for logical and relational learning with kernels
• An OpenCL implementation of a forward sampling algorithm for CP-logic
• The complexity of reasoning with FODD and GFODD
• Analyzing real-world SPARQL queries and ontology-based data access in the context of probabilistic data
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• Probabilistic Event Calculus for Event Recognition
• Title not available (Why is that?)
• Inference in probabilistic logic programs with continuous random variables
• Distributed Parameter Learning for Probabilistic Ontologies
• Structure learning of probabilistic logic programs by searching the clause space
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• Planning in hybrid relational MDPs
• A probabilistic approximate logic for neuro-symbolic learning and reasoning
• Structured learning modulo theories
• kProbLog: an algebraic Prolog for machine learning
• Open-world probabilistic databases: semantics, algorithms, complexity
• The Bayesian ontology language \(\mathcal {BEL}\)
• Lifted graphical models: a survey
• Gradient-based boosting for statistical relational learning: the relational dependency network case
• ILP turns 20. Biography and future challenges
• Causal inference in cplint
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• Negative probabilities in probabilistic logic programs
• Statistical statements in probabilistic logic programming
• Probabilistic reasoning about epistemic action narratives
• P-log: refinement and a new coherency condition
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
• A taxonomy of weight learning methods for statistical relational learning
• Title not available (Why is that?)
• Inductive logic programming at 30
• Optimizing Probabilities in Probabilistic Logic Programs
• Title not available (Why is that?)
• Semiring programming: a semantic framework for generalized sum product problems
• Probabilistic abstract argumentation frameworks, a possible world view
• Symbolic DNN-tuner
• Title not available (Why is that?)
• Learning Effect Axioms via Probabilistic Logic Programming
• Complexity Results for Probabilistic Datalog
• Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
• MAP Inference for Probabilistic Logic Programming
• Explanations as programs in probabilistic logic programming
• Handling epistemic and aleatory uncertainties in probabilistic circuits
• Probabilistic inductive constraint logic
• Title not available (Why is that?)
• Efficient Knowledge Compilation Beyond Weighted Model Counting
• MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
• Inductive general game playing
• Neural probabilistic logic programming in DeepProbLog
• Probabilistic Rule Learning in Nonmonotonic Domains
• Lifted discriminative learning of probabilistic logic programs
• Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
• Beyond graph neural networks with lifted relational neural networks
• Learning hierarchical probabilistic logic programs
• Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predictive spreadsheet autocompletion with constraints
• Regression and progression in stochastic domains

This page was built for software: ProbLog