Login / Signup
Dialog-driven Adaptation of Explanations of Proofs.
Armin Fiedler
Published in:
IJCAI (2001)
Keyphrases
</>
user interface
data driven
theorem proving
spoken dialog
formal proofs
natural language
theorem prover
spoken dialog systems
generating explanations
equational theories
evolutionary algorithm
inference rules
mixed initiative
adaptation process
dynamic adaptation