Joseph Y. Halpern, Yoram Moses. Using Counterfactuals in Knowledge-Based Programming. In Itzhak Gilboa, editor, Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998. pages 97-110, Morgan Kaufmann, 1998.
@inproceedings{HalpernM98,
title = {Using Counterfactuals in Knowledge-Based Programming},
author = {Joseph Y. Halpern and Yoram Moses},
year = {1998},
tags = {rule-based, programming},
researchr = {https://researchr.org/publication/HalpernM98},
cites = {0},
citedby = {0},
pages = {97-110},
booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
editor = {Itzhak Gilboa},
publisher = {Morgan Kaufmann},
isbn = {1-55860-563-0},
}