{"type":"ScholarlyArticle","title":"Temporal Reasoning Involving Counterfactuals and Disjunctions","authors":[{"name":"Thomas Dean","slug":"thomas-dean","given":"Thomas","family":"Dean","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1985/215","pdf":"https://ijcai.org/proceedings/1985/0215.pdf","markdown":"https://ijcai.org/proceedings/1985/215.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/215","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning and Search","track":"Planning and Search","number":215,"pages":{"first":1060,"last":1061},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}