Knowledge and Reasoning in Program Synthesis.
Zohar MannaRichard J. WaldingerPublished in: Artif. Intell. (1975)
Keyphrases
- program synthesis
- knowledge base
- knowledge representation
- reasoning process
- incomplete knowledge
- deductive reasoning
- knowledge acquisition
- knowledge based systems
- general knowledge
- formal models
- inconsistent information
- commonsense knowledge
- reasoning mechanisms
- reasoning processes
- prior knowledge
- expert systems
- artificial intelligence
- data mining