ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.
Andreas WolfJohann SchumannPublished in: CADE (1997)
Keyphrases
- natural language
- conceptual model
- computational model
- probabilistic model
- mathematical model
- theoretical framework
- em algorithm
- language understanding
- prediction model
- formal model
- statistical model
- theoretical analysis
- database
- input data
- management system
- probability distribution
- similarity measure
- high level
- decision making
- learning algorithm