ACM Computing Surveys (CSUR) Lecture Notes in Computer Science (LNCS) Journal of Logic and Computation (JLC) CEUR Workshop Proceedings (CEUR-WS.org) Autonomous Agents and Multi-Agent Systems (J.AAMAS) Computer Methods and Programs in Biomedicine (CMPB)