Knowledge and Reasoning in Program Synthesis.
Richard J. WaldingerZohar MannaPublished in: IJCAI (1975)
Keyphrases
- program synthesis
- knowledge base
- knowledge representation
- reasoning process
- domain knowledge
- commonsense knowledge
- knowledge acquisition
- expert systems
- reasoning mechanism
- uncertain information
- formal models
- general knowledge
- deductive reasoning
- inconsistent information
- incomplete knowledge
- metadata
- probabilistic knowledge
- artificial intelligence
- production rules
- support vector
- prior knowledge