Probabilistic Reasoning by SAT Solvers

DOI10.1007/978-3-642-02906-6_57zbMATH Open1245.68221OpenAlexW1855805902MaRDI QIDQ3638188FDOQ3638188

Authors: Emad W. Saad 

Publication date: 2 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02906-6_57

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Contingent planning under uncertainty via stochastic satisfiability
• APPSSAT: Approximate probabilistic planning using stochastic satisfiability
• Resolution for stochastic Boolean satisfiability
• Mechanizing Mathematical Reasoning

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Fast planning through planning graph analysis
• Planning and acting in partially observable stochastic domains
• Title not available (Why is that?)
• Representing action and change by logic programs
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty
• Answer set programming based on propositional satisfiability
• Title not available (Why is that?)
• Contingent planning under uncertainty via stochastic satisfiability
• A new approach to hybrid probabilistic logic programs
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Title not available (Why is that?)
• Formalizing sensing actions -- a transition function based approach
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Logic Programming
• A Logical Approach to Qualitative and Quantitative Reasoning
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Incomplete Knowledge in Hybrid Probabilistic Logic Programs

Cited In (11)

• Probabilistic satisfiability
• APPSSAT: Approximate probabilistic planning using stochastic satisfiability
• A probabilistic study on the satisfiability problem
• Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Probabilistic reasoning with answer sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sampling-based SAT/ASP multi-model optimization as a framework for probabilistic inference
• Probabilistic approach to the satisfiability problem

Uses Software

• ASSAT
• Graphplan

This page was built for publication: Probabilistic Reasoning by SAT Solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638188)