Iterative Dialogue and Automated Proofs.

Konrad Slind Richard J. Boulton

Published in: FroCoS (1998)

Keyphrases

automated theorem provers
semi automated
data driven
theorem proving
dialogue system
information retrieval
knowledge base
natural language
semi automatic
computer assisted
automated analysis
dialogue management
mathematical proofs
man machine
spoken language
email
e learning