%0 Conference Paper %1 conf/tark/HalpernM98 %A Halpern, Joseph Y. %A Moses, Yoram %B TARK %D 1998 %E Gilboa, Itzhak %I Morgan Kaufmann %K dblp %P 97-110 %T Using Counterfactuals in Knowledge-Based Programming. %U http://dblp.uni-trier.de/db/conf/tark/tark1998.html#HalpernM98 %@ 1-55860-563-0

@inproceedings{conf/tark/HalpernM98, added-at = {2002-03-05T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Moses, Yoram}, biburl = {https://www.bibsonomy.org/bibtex/235a8390799b09ebdab23513a8c55266a/dblp}, booktitle = {TARK}, crossref = {conf/tark/1998}, date = {2002-03-05}, description = {dblp}, editor = {Gilboa, Itzhak}, interhash = {ef4b8b63554b0dd619062d63bdc588d9}, intrahash = {35a8390799b09ebdab23513a8c55266a}, isbn = {1-55860-563-0}, keywords = {dblp}, pages = {97-110}, publisher = {Morgan Kaufmann}, timestamp = {2002-03-05T00:00:00.000+0100}, title = {Using Counterfactuals in Knowledge-Based Programming.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark1998.html#HalpernM98}, year = 1998 }