| 1 | -- | 48 | Ruben Verborgh, Dörthe Arndt, Sofie Van Hoecke, Jos De Roo, Giovanni Mels, Thomas Steiner, Joaquim Gabarró. The pragmatic proof: Hypermedia API composition and execution |
| 49 | -- | 74 | Pedro Cabalar, Jorge Fandinno. Enablers and inhibitors in causal justifications of logic programs |
| 75 | -- | 90 | Mauricio Osorio, Juan Carlos Nieves. Range-based argumentation semantics as two-valued models |
| 91 | -- | 117 | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker. The KB paradigm and its application to interactive configuration |
| 118 | -- | 120 | Roman Barták. Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2 |