Cut-Simulation in Impredicative Logics.

Christoph Benzmüller Chad E. Brown Michael Kohlhase

Published in: IJCAR (2006)

Keyphrases

expressive power
simulation environment
real time
databases
neural network
image processing
artificial neural networks
simulation models
data sets
reinforcement learning
learning environment
simulation study
modal logic
simulation model