Determinism versus nondeterminism with arithmetic tests and computation: extended abstract.

Published in: STOC (2012)

Keyphrases

extended abstract
machine learning
situation calculus
real time
neural network
learning algorithm
real world
information systems
website
case study
similarity measure
sensing actions