ACL RD-TEC 1.0 Summarization of A00-3003
Paper Title:
GENERATING TEXT WITH A THEOREM PROVER
GENERATING TEXT WITH A THEOREM PROVER
Primarily assigned technology terms:
- algorithm
- approximation
- automatic generation
- axiomatization
- direct translation
- finite state
- finite state machines
- information extraction
- language generation
- matching
- modeling
- natural language generation
- pattern matching
- planner
- reporting
- template filling
- text planner
- theorem prover
- verifiable theorem-proving
Other assigned terms:
- acyclic graph
- ambiguity
- approach
- case
- communicative act
- document
- english language
- events
- fact
- formalism
- generation
- hierarchical structure
- inferences
- leaf
- logic
- logical formula
- logical structure
- meaning
- modeling language
- natural language
- negation
- normal form
- process
- propositional logic
- propositions
- queries
- semantic
- sentence
- sentences
- style
- subtree
- system architecture
- technical documentation
- terms
- text
- theorem
- theories
- theory
- time complexity
- transformation
- tree
- user
