Reasoning with Hoare sentences.
Friedrich W. von HenkePublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- reasoning systems
- knowledge representation
- knowledge base
- meta level
- natural language
- reasoning mechanisms
- domain knowledge
- multi document summarization
- qualitative reasoning
- reasoning process
- sentence level
- knowledge representation and reasoning
- causal reasoning
- reasoning tasks
- logical formulas
- linguistic features
- model based diagnosis
- training data