A Single Complete Refinement Rule for Demonic Specifications.

Karl Lermer Paul A. Strooper

Published in: IFIP TCS (2000)

Keyphrases

case study
rule induction
artificial intelligence
database systems
multi agent
video sequences
search algorithm
rule learning