Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.

Detlef Fehrer Helmut Horacek

Published in: IJCAI (2) (1997)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
natural language
computational power
information retrieval
artificial intelligence
decision making
case study
search algorithm
fuzzy logic
processing capabilities