Symbolic and Quantitative Approaches to Reasoning with Uncertainty

DOI10.1007/B138862MaRDI QIDQ5473711zbMATH OpenOpenAlexFDO

Authors Stephen M. Majercik

Publication date 23 June 2006

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

Full work available at URL https://doi.org/10.1007/b138862

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• APPSSAT: Approximate probabilistic planning using stochastic satisfiability
• Contingent planning under uncertainty via stochastic satisfiability
• Probabilistic Reasoning by SAT Solvers
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• scientific article; zbMATH DE number 1216123

Cited in

(6)

• APPSSAT: Approximate probabilistic planning using stochastic satisfiability
• Approximate planning
• Depth-based short-sighted stochastic shortest path problems
• Probabilistic Reasoning by SAT Solvers
• Probabilistic planning for continuous dynamic systems under bounded risk
• Contingent planning under uncertainty via stochastic satisfiability

This page was built for publication: Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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