Dynamic Logic of Power and Immunity.

Huimin Dong Olivier Roy

Published in: LORI (2017)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
power consumption
propositional dynamic logic
multiple input
agent programming
multi objective optimization
power distribution
neural network
electricity markets
data sets
fixed point
case based reasoning
fuzzy logic
relational databases