Semantical Analysis of Logic of Actions.

Michael L. Tiomkin Michael Kaminski

Published in: J. Log. Comput. (1995)

Keyphrases

quantitative analysis
real time
data sets
data mining
evolutionary algorithm
neural network
case study
state space
linear logic