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)
- 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
- DeepCoder
- 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
- Identification of biological transition systems using meta-interpreted logic programs
- 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
- PASTA
- 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
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- On the Efficient Execution of ProbLog Programs
- Probabilistic abductive logic programming using Dirichlet priors
- Louise
- 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
- 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
- CLUTRR
- SMProbLog
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Dsharp
- 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
- T-Rex
- DeepProbLog
- NeurASP
- sCASP
- NLProlog
- RelNN
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- Planning in hybrid relational MDPs
- Trio
- 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
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- Negative probabilities in probabilistic logic programs
- Statistical statements in probabilistic logic programming
- 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
- 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
This page was built for software: ProbLog
