ProbLog
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Compressing probabilistic Prolog programs
- SMProbLog
- PASTA
- CLUTRR
- T-Rex
- DeepProbLog
- NeurASP
- sCASP
- RelNN
- NLProlog
- Louise
- Dsharp
- SOLAR
- TOMP
- CrossMine
- TopLog
- WHIRL
- Identification of biological transition systems using meta-interpreted logic programs
- The complexity and generality of learning answer set programs
- PASS
- Analyzing real-world SPARQL queries and ontology-based data access in the context of probabilistic data
- Causal inference in cplint
- Planning in hybrid relational MDPs
- kProbLog: an algebraic Prolog for machine learning
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Information-gain computation in the \textsc{Fifth} system
- Learning to rank in PRISM
- Timbuk
- Oz
- KReator
- CP-logic
- YAP-Prolog
- B-Prolog
- PITA
- KiCS2
- FODD-Planner
- FluCaP
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
- A probabilistic interval-based event calculus for activity recognition
- Probabilistic inductive constraint logic
- SYMBA
- Learning hierarchical probabilistic logic programs
- Beyond graph neural networks with lifted relational neural networks
- Abduction with probabilistic logic programming under the distribution semantics
- Approximate weighted model integration on DNF structures
- Asparagus
- IBAL
- Church
- FACTORIE
- A taxonomy of weight learning methods for statistical relational learning
- Inductive logic programming at 30
- Symbolic DNN-tuner
- ProbView
- MYSTIQ
- Explanations as programs in probabilistic logic programming
- Handling epistemic and aleatory uncertainties in probabilistic circuits
- EasyCheck
- Clingo
- f2lp
- CCalc
- Inductive general game playing
- Semiring programming: a semantic framework for generalized sum product problems
- Probabilistic reasoning about epistemic action narratives
- kLog
- A semantics for hybrid probabilistic logic programs with function symbols
- Open-world probabilistic databases: semantics, algorithms, complexity
- Neural probabilistic logic programming in DeepProbLog
- FPsolve
- Probabilistic abstract argumentation frameworks, a possible world view
- Regression and progression in stochastic domains
- Predictive spreadsheet autocompletion with constraints
- P-log: refinement and a new coherency condition
- Lifted graphical models: a survey
- The Bayesian ontology language \(\mathcal {BEL}\)
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- YAGO
- Aleph
- Lifted discriminative learning of probabilistic logic programs
- Online probabilistic theory revision from examples with ProPPR
- LBS
- Pengines
- HermiT
- CEL
- XSB
- Probabilistic logic programming for hybrid relational domains
- Pronto
- A probabilistic approximate logic for neuro-symbolic learning and reasoning
- Exact stochastic constraint optimisation with applications in network analysis
- LUBM
- Statistical statements in probabilistic logic programming
- Alchemy
- DeepDive
- CoALP
- Distributed Parameter Learning for Probabilistic Ontologies
- kProbLog: an algebraic Prolog for kernel programming
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- PREGO
- Dedicated tabling for a probabilistic setting
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
This page was built for software: ProbLog
