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