On Proof Rules for Monitors.

J. Mack Adams Andrew P. Black

Published in: ACM SIGOPS Oper. Syst. Rev. (1982)

Keyphrases

logical rules
classification rules
theorem prover
theorem proving
rule sets
association rule mining
rule extraction
database
data sets
artificial intelligence
information systems
website
genetic programming
production rules
rule based systems