Sign in
Nominal Unification with Letrec and Environment-Variables.
Manfred Schmidt-Schauß
Yunus D. K. Kutz
Published in:
LOPSTR (2020)
Keyphrases
</>
neural network
dynamic environments
virtual world
real time
artificial intelligence
mobile robot
relevant variables
environmental conditions
complex environments
changing environment
theorem prover
autonomous agents
probabilistic model
bayesian networks
image sequences
knowledge base
learning algorithm