Definable Topological dynamics.

Krzysztof Krupinski

Published in: J. Symb. Log. (2017)

Keyphrases

dynamical systems
dynamic model
real time
first order logic
transitive closure
information retrieval
website
database systems
evolutionary algorithm
knowledge representation
situation calculus
initial conditions
topological map
recurrent networks
topology preservation