Focused most probable world computations in probabilistic logic programs

DOI10.1007/s10472-012-9285-yzbMath1260.68393OpenAlexW2074797512MaRDI QIDQ454145

Gerardo I. Simari, Amy Sliva, V. S. Subrahmanian, Maria Vanina Martinez

Publication date: 1 October 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-012-9285-y

zbMATH Keywords

Monte Carlo samplingimprecise probabilitiesmost probable worldsprobabilistic logic program

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Belief revision in structured probabilistic argumentation, model and application to cyber security

Uses Software

• QSopt-Exact
• Sat4j
• ProbView

Cites Work

• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• Probability logic
• Combining probabilistic logic programming with the power of maximum entropy
• Probabilistic logic
• Probabilistic logic programming
• Heterogeneous active agents, I: Semantics
• 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
• COBA 2.0: A Consistency-Based Belief Change System
• Mathematical Aspects of Mixing Times in Markov Chains
• Quantitative deduction and its fixpoint theory
• Column Generation Methods for Probabilistic Logic
• Hybrid probabilistic programs

This page was built for publication: Focused most probable world computations in probabilistic logic programs