On axiomatization of process logic.

Published in: Logic of Programs (1980)

Keyphrases

bayesian networks
probabilistic model
real time
databases
defeasible logic
database
data sets
real world
image processing
hidden markov models
software engineering