Finite Behaviours and Finitary Corecursion.

Published in: CALCO (2017)

Keyphrases

finite state
databases
social networks
finite number
artificial intelligence
information systems
three dimensional
database systems
multiscale
multi agent
dynamic programming
knowledge representation
markov chain
function symbols