Partial Correctness Assertions Provable in Dynamic Logics.

Published in: FoSSaCS (2004)

Keyphrases

dynamic environments
expressive power
partial information
database
data sets
knowledge base
evolutionary algorithm
databases
neural network
genetic algorithm
search engine
relational databases