Rolando Medellin, Katie Atkinson, Peter McBurney. Model Checking Command Dialogues. In The Uses of Computational Argumentation, Papers from the 2009 AAAI Fall Symposium, Arlington, Virginia, USA, November 5-7, 2009. Volume FS-09-06 of AAAI Technical Report, AAAI, 2009. [doi]
@inproceedings{MedellinAM09,
title = {Model Checking Command Dialogues},
author = {Rolando Medellin and Katie Atkinson and Peter McBurney},
year = {2009},
url = {http://aaai.org/ocs/index.php/FSS/FSS09/paper/view/895},
researchr = {https://researchr.org/publication/MedellinAM09},
cites = {0},
citedby = {0},
booktitle = {The Uses of Computational Argumentation, Papers from the 2009 AAAI Fall Symposium, Arlington, Virginia, USA, November 5-7, 2009},
volume = {FS-09-06},
series = {AAAI Technical Report},
publisher = {AAAI},
}