Lecture Notes in Computer Science (LNCS) Journal of Logical and Algebraic Methods in Programming (JLAMP) The Knowledge Engineering Review (KER) Pervasive and Mobile Computing (PMC) ACM Transactions on Autonomous and Adaptive Systems (TAAS) Procedia Computer Science (Procedia)