Some model-theoretical properties of logic for programs with random control.

Michal Grabowski

Published in: Logic of Programs (1980)

Keyphrases

high level
statistical model
formal model
theoretical analysis
computational model
multi agent systems
fuzzy logic
parameter estimation
control method