Novel approach to a rule-based general purpose program translator using paramodulation.
Yoshiyasu TakefujiMichael DowellPublished in: Knowl. Based Syst. (1988)
Keyphrases
- general purpose
- special purpose
- theorem proving
- domain specific
- rule based systems
- inference rules
- data driven
- program execution
- artificial intelligence
- computer programs
- programming language
- multiscale
- image processing
- first order logic
- expert systems
- case study
- feature selection
- programming environment
- information systems