A Modal Logic Framework for Human-Computer Spoken Interaction.

Luis Villaseor-Pineda, Manuel Montes-y-Gmez, Jean Caelen

Browse the full CICLING paper archive.