Research map / Large language models / Retrieval and knowledge
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| avoid compiling formulas for magic atoms (magic-TcP) (ablation) | vProbLog · LUBM001 | materialization time | Helped |
| replace ProbLog2 grounding with Datalog forward reasoning (vProbLog) | ProbLog · LUBM001 | total time (s): 40.9 -> 0.1 (q01) | Helped |
| replace ProbLog2 with vProbLog | ProbLog · LUBM001 q14 (database lookup) | total time (s): 87.7 vs 89.6 | No clear effect |
| replace ProbLog2 with vProbLog | ProbLog · Smokers size 18 | average total time (s): 23.6 -> 2.7 | Helped |
| replace ProbLog2 with vProbLog | ProbLog · WebKB lower bounds | probability lower bound | Mixed |
| replace ProbLog2 with vProbLog | ProbLog · Genes lower bounds | probability lower bound | Mixed |
| scale to larger database (LUBM100) | vProbLog (opt) · LUBM | queries solved: 14 -> 3 queries answered | Hurt |
Closest papers by meaning
- Inference and Learning with Model Uncertainty in Probabilistic Logic Programs (AAAI 2022 · similarity 0.89)
- DeepProbLog: Neural Probabilistic Logic Programming (NeurIPS 2018 · similarity 0.89)
- Probabilistic Logic Programming with Beta-Distributed Random Variables (AAAI 2019 · similarity 0.88)
- RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs (ICLR 2021 · similarity 0.87)
- GENSYNTH: Synthesizing Datalog Programs without Language Bias (AAAI 2021 · similarity 0.86)
- Efficient Probabilistic Logic Reasoning with Graph Neural Networks (ICLR 2020 · similarity 0.86)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.