---
title: "Temporal Reasoning Involving Counterfactuals and Disjunctions"
authors:
  - "Thomas Dean"
doi: ""
url: "https://ijcai.org/proceedings/1985/215"
pdf: "https://ijcai.org/proceedings/1985/0215.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "1060-1061"
track: "Planning and Search"
keywords:
---

# Temporal Reasoning Involving Counterfactuals and Disjunctions

Thomas Dean

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 1060-1061.

## Abstract

This paper describes a mechanism for nonmonotonic temporal reasoning involving counterfactuals and disjunctions. The mechanism supports a method for exploring alternatives weH suited to automatic planning. The application of these techniques to robot problern solving is discussed with an emphasis on reasoning about exclusive choices and monitaring the continued warrant and effectiveness of prevention tasks.