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
• 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
• Probabilistic programming language and its incremental evaluation
• 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
• 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
• 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
• Probabilistic event calculus for event recognition
• 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
• Compressing probabilistic Prolog programs
• 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
• CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• 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}\)
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• 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
• 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
• Statistical statements in probabilistic logic programming
• Probabilistic reasoning about epistemic action narratives
• P-log: refinement and a new coherency condition
• A taxonomy of weight learning methods for statistical relational learning
• Inductive logic programming at 30
• Title not available (Why is that?)
• Using SWISH to realize interactive web-based tutorials for logic-based languages
• Semiring programming: a semantic framework for generalized sum product problems
• Representation learning for dynamic graphs: a survey
• Preprocessing Boolean formulae for BDDs in a probabilistic context
• On the probability and cost of ignorance, inconsistency, nonsense and more
• 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
• On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Optimizing probabilities in probabilistic logic programs
• 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
• Beyond graph neural networks with lifted relational neural networks
• Learning hierarchical probabilistic logic programs
• MAP inference for probabilistic logic programming
• Nonground abductive logic programming with probabilistic integrity constraints
• Title not available (Why is that?)
• Predictive spreadsheet autocompletion with constraints

This page was built for software: ProbLog