Interpreting semi-formal utterances in dialogs about mathematical proofs.

Helmut Horacek Magdalena Wolska

Published in: Data Knowl. Eng. (2006)

Keyphrases

mathematical proofs
natural language
cognitive processes
theorem prover
formal model
dialog systems
mixed initiative
database
information systems
formal specification