Temporal Reasoning Involving Counterfactuals and Disjunctions
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Planning and Search. 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.
Thomas Dean. 1985. Temporal Reasoning Involving Counterfactuals and Disjunctions. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 1060–1061. https://ijcai.org/proceedings/1985/215
Dean, T. (1985). Temporal Reasoning Involving Counterfactuals and Disjunctions. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 (pp. 1060–1061). IJCAI. https://ijcai.org/proceedings/1985/215
@inproceedings{ijcai1985p215,
title = {Temporal Reasoning Involving Counterfactuals and Disjunctions},
author = {Dean, Thomas},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {1060--1061},
year = {1985},
note = {Planning and Search},
url = {https://ijcai.org/proceedings/1985/215},
}
TY - CPAPER TI - Temporal Reasoning Involving Counterfactuals and Disjunctions AU - Dean, Thomas T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 1060 EP - 1061 UR - https://ijcai.org/proceedings/1985/215 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
