Dialogue Systems as Proof Editors.

Aarne Ranta Robin Cooper

Published in: J. Log. Lang. Inf. (2004)

Keyphrases

dialogue system
dialogue management
human computer
spoken dialogue systems
natural language
natural language generation
mixed initiative
tutorial dialogue
special issue
dialogue manager
theorem prover
human users
language understanding
data mining
general purpose
knowledge acquisition