Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs.

Helmut Horacek Magdalena Wolska

Published in: NLDB (2004)

Keyphrases

mathematical proofs
natural language
cognitive processes
theorem prover
mixed initiative
conversational agent
dialog systems
neural network
formal model
formal models
human communication
artificial neural networks
formal methods
formal representation