A Modal Logic Framework for Human-Computer Spoken Interaction.

Luis Villaseñor Pineda Manuel Montes-y-Gómez Jean Caelen

Published in: CICLing (2004)

Keyphrases

modal logic
human computer
human computer interaction
inference rules
temporal logic
epistemic logic
dialogue system
artificial intelligence
domain specific
model checking