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

DOI10.1016/0004-3702(94)00070-0MaRDI QIDQ2676563zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4174380 (Why is no real title available?)
• scientific article; zbMATH DE number 3132222 (Why is no real title available?)
• scientific article; zbMATH DE number 582867 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3216701 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3056125 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• scientific article; zbMATH DE number 3087284 (Why is no real title available?)
• An analysis of first-order logics of probability
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Planning for conjunctive goals
• Reasoning with time and chance
• Representing plans under uncertainty. A logic of time, chance, and action
• STRIPS: A new approach to the application of theorem proving to problem solving
• Towards a general theory of action and time

Cited in

(4)

• Probabilistic temporal logic with countably additive semantics
• Logic, Probability and Action: A Situation Calculus Perspective
• scientific article; zbMATH DE number 140396 (Why is no real title available?)
• Bridging commonsense reasoning and probabilistic planning via a probabilistic action language

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)