Login / Signup
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property.
Stefano Bistarelli
Fabio Martinelli
Ilaria Matteucci
Francesco Santini
Published in:
FACS (2016)
Keyphrases
</>
main contribution
real time
neural network
formal model
conceptual framework
high level
hidden markov models
probabilistic model
logic programs
meta level