Quasi-varieties and initial semantics for hybridized institutions.

Razvan Diaconescu

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

Keyphrases

logic programming
genetic algorithm ga
real time
semantic information
neural network
case study
information technology
simulated annealing
particle swarm optimization
search procedure
operational semantics
transformation rules