Model checking command dialogues

R Medellin, K Atkinson, Peter McBurney

Research output: Chapter in Book/Report/Conference proceedingConference paper

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of 2009 AAAI Fall Symposium on The Uses of Computational Argumentation. AAAI Technical Report SS-09-06.
PublisherAAAI Press
Pages58 - 63
Number of pages6
VolumeFS-09-06
Publication statusPublished - 2009

Cite this