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