An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner Clare E. Martin Oege de Moor

Published in: MPC (1992)

Keyphrases

neural network
first order logic
construction process
real time
artificial intelligence
reinforcement learning
evolutionary algorithm
probability distribution