Original language | English |
---|---|
Title of host publication | Proceedings of 2009 AAAI Fall Symposium on The Uses of Computational Argumentation. AAAI Technical Report SS-09-06. |
Publisher | AAAI Press |
Pages | 58 - 63 |
Number of pages | 6 |
Volume | FS-09-06 |
Publication status | Published - 2009 |
Model checking command dialogues
R Medellin, K Atkinson, Peter McBurney
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
2
Citations
(Scopus)