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

DOI10.1016/0004-3702(94)00070-0zbMath1506.68139OpenAlexW2091148241MaRDI QIDQ2676563

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)

Cites Work

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