A logic of time, chance, and action for representing plans

DOI10.1016/0004-3702(94)00070-0zbMATH Open1506.68139OpenAlexW2091148241MaRDI QIDQ2676563FDOQ2676563

Authors: Peter Haddawy 

Publication date: 27 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)00070-0

Recommendations

• scientific article
• scientific article; zbMATH DE number 1249651
• scientific article
• Linear logic as a tool for planning under temporal uncertainty
• Probabilistic situation calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Planning for conjunctive goals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a general theory of action and time
• STRIPS: A new approach to the application of theorem proving to problem solving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of first-order logics of probability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Title not available (Why is that?)
• Reasoning with time and chance
• Representing plans under uncertainty. A logic of time, chance, and action

Cited In (3)

• Probabilistic temporal logic with countably additive semantics
• Logic, Probability and Action: A Situation Calculus Perspective
• Title not available (Why is that?)

This page was built for publication: A logic of time, chance, and action for representing plans

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