Proof Pearl: Looping Around the Orbit.

Published in: TPHOLs (2007)

Keyphrases

theorem proving
causal models
linear logic
information systems
evolutionary algorithm
belief change
hidden state
neural network
genetic algorithm
feature selection
multimedia
case study
three dimensional
mobile robot
theorem prover