From Natural Language to Formal Proof Goal.

Ruud Stegers Annette ten Teije Frank van Harmelen

Published in: EKAW (2006)

Keyphrases

formal proof
natural language
knowledge representation
theorem prover
semantic analysis
dialogue system
real time
data structure
information extraction
ultimate goal
natural language interface
databases
machine learning
supervised learning
question answering
semantic representation