Login / Signup
A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems.
Francesco Luca De Angelis
Giovanna Di Marzo Serugendo
Published in:
SASO Workshops (2015)
Keyphrases
</>
distributed systems
neural network
programming language
intelligent systems
computer systems
logic programming
complex systems
formal languages
artificial intelligence
expert systems
knowledge based systems
modeling language
finite state machines
operational semantics
digital circuits