Annotated Revision Specification Programs.

Published in: LPNMR (1995)

Keyphrases

provably correct
formal specification
control program
belief revision
data sets
databases
computer programs
control flow
knowledge base
specification language
database
genetic algorithm
social networks
manually annotated
reactive systems