ALP Newsletter (ALP News) Journal of Logic and Computation (JLC) Theory and Practice of Logic Programming (TPLP) Journal of Logical and Algebraic Methods in Programming (JLAMP) International Journal of Software Engineering and Knowledge Engineering (JSEKE)