Assignment and Procedure Call Proof Rules.
David GriesGary LevinPublished in: ACM Trans. Program. Lang. Syst. (1980)
Keyphrases
- logical rules
- decision rules
- rule based systems
- rule sets
- neural network
- proof procedure
- search procedure
- classification rules
- domain knowledge
- artificial intelligence
- association rules
- database
- expert systems
- objective function
- theorem proving
- feature selection
- production rules
- learning classifier systems
- iterative procedure
- databases
- real time