Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10³⁰,000 worlds
DOI10.1007/S10472-008-9089-2zbMATH Open1138.68054OpenAlexW2059890614MaRDI QIDQ2426104FDOQ2426104
Gerardo Simari, Samir Khuller, Amy Sliva, Maria Vanina Martinez, V. S. Subrahmanian, Dana Nau
Publication date: 21 April 2008
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-008-9089-2
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)
Cites Work
- Probabilistic logic
- Heterogeneous active agents, I: Semantics
- Column Generation Methods for Probabilistic Logic
- A logic for reasoning about probabilities
- Title not available (Why is that?)
- Probabilistic logic programming
- Quantitative deduction and its fixpoint theory
- Probability logic
- Combining probabilistic logic programming with the power of maximum entropy
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- Hybrid probabilistic programs
- Title not available (Why is that?)
Cited In (5)
- Using Histograms to Better Answer Queries to Probabilistic Logic Programs
- A quantitative approach to belief revision in structured probabilistic argumentation
- Belief revision in structured probabilistic argumentation, model and application to cyber security
- Focused most probable world computations in probabilistic logic programs
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Recommendations
- Focused most probable world computations in probabilistic logic programs 👍 👎
- Complexity results for probabilistic answer set programming 👍 👎
- Parallel Abductive Query Answering in Probabilistic Logic Programs 👍 👎
- Abductive inference in probabilistic logic programs 👍 👎
- MAP Inference for Probabilistic Logic Programming 👍 👎
This page was built for publication: Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2426104)
