Using Histograms to Better Answer Queries to Probabilistic Logic Programs
From MaRDI portal
Publication:4649723
DOI10.1007/978-3-642-02846-5_9zbMath1251.68052OpenAlexW2100868594MaRDI QIDQ4649723
V. S. Subrahmanian, Matthias Broecheler, Gerardo I. Simari
Publication date: 13 November 2012
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_9
Logic programming (68N17) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics ⋮ Probabilistic characterisation of models of first-order theories
Cites Work
- Unnamed Item
- Probability logic
- Combining probabilistic logic programming with the power of maximum entropy
- Probabilistic logic
- Probabilistic logic programming
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- A logic for reasoning about probabilities
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
- Simulated annealing in convex bodies and an \(O^{*}(n^{4}\)) volume algorithm
- The problem of calculating the volume of a polyhedron is enumerably hard
- Hit-and-run from a corner
- Mathematical Aspects of Mixing Times in Markov Chains
- Quantitative deduction and its fixpoint theory
- On the Complexity of Computing the Volume of a Polyhedron
- Two Algorithms for Determining Volumes of Convex Polyhedra
- A random polynomial-time algorithm for approximating the volume of convex bodies
- Logic Programming
This page was built for publication: Using Histograms to Better Answer Queries to Probabilistic Logic Programs