Model Checking Command Dialogues - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rolando Medellin' in GoogleThis author has not been identified. Look up 'Katie Atkinson' in GoogleThis author has not been identified. Look up 'Peter McBurney' in Google

runs on WebDSL