- Katarzyna Grzybowska, Gábor Kovács. The modelling and design process of coordination mechanisms in the supply chain. J. Applied Logic, 24:25-38, 2017.
- Heinrich Wansing. Reprint of: A more general general proof theory. J. Applied Logic, 25(Supplement), 2017.
- John Christopher McCabe-Dansted, Mark Reynolds. Rewrite rules for CTL. J. Applied Logic, 21:24-56, 2017.
- Sérgio Mota. The never-ending recursion. J. Applied Logic, 25:89-108, 2017.
- Amira Sayed A. Aziz, Sanaa El-Ola Hanafi, Aboul Ella Hassanien. Comparison of classification techniques applied for network intrusion detection and classification. J. Applied Logic, 24:109-118, 2017.
- Xin Sun 0001, Livio Robaldo. On the complexity of input/output logic. J. Applied Logic, 25:69-88, 2017.
- Bjørn Jespersen, Massimiliano Carrara, Marie Duzí. Iterated privation and positive predication. J. Applied Logic, 25(Supplement), 2017.
- Pablo García Auñón, Matilde Santos Peñas, Jesús Manuel de la Cruz. Parameter selection based on fuzzy logic to improve UAV path-following algorithms. J. Applied Logic, 24:62-75, 2017.
- Jean-Christophe Magnan, Pierre-Henri Wuillemin. Efficient incremental planning and learning with multi-valued decision diagrams. J. Applied Logic, 22:63-90, 2017.
- Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado. Special issue SOCO 2015. J. Applied Logic, 24:1-2, 2017.