An M-Net Semantics for a Real-Time Extension of µSDL.

Hans Fleischhack Josef Tapken

Published in: FME (1997)

Keyphrases

real time
control system
neural network
artificial intelligence
multi agent
general purpose
semantic information
argumentation frameworks
real time systems
operational semantics
argumentation semantics
abstract argumentation frameworks
proof theoretic