Formal Derivation of Rule-Based Programs.

Gruia-Catalin Roman Rose F. Gamble William E. Ball

Published in: IEEE Trans. Software Eng. (1993)

Keyphrases

data driven
expert systems
rule base
formal specification
rule based systems
real time
neural network
computer vision
multi agent systems
answer sets
computer programs
stable models
intermediate level
application programs
automatic programming