| 0 | -- | 0 | Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski. Preface |
| 193 | -- | 203 | Melvin Fitting. What Are Justification Logics? |
| 205 | -- | 244 | Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti. Semantics and Controllability of Time-Aware Business Processes |
| 245 | -- | 261 | Abdulla Aldilaijan, Mohammad Azad, Mikhail Moshkov. Experimental Study of Totally Optimal Decision Trees |
| 263 | -- | 281 | Jan G. Bazan, Adam Szczur, Andrzej Skowron, Marian Rzepko, Pawel Król, Wojciech Bajorek, Wojciech Czarny. A Classifier Based on a Decision Tree with Temporal Cuts |
| 283 | -- | 302 | Soma Dutta, Andrzej Jankowski, Grzegorz Rozenberg, Andrzej Skowron. Linking Reaction Systems with Rough Sets |
| 303 | -- | 319 | Roberta Gori, Damas P. Gruska, Paolo Milazzo. Studying Opacity of Reaction Systems through Formula Based Predictors |
| 321 | -- | 344 | Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek. Applying Modern SAT-solvers to Solving Hard Problems |
| 345 | -- | 361 | Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny. Towards Encoding of the Transition Relation in Dialogue Games Model Checking |
| 363 | -- | 380 | Marcin Wolski, Anna Gomolinska. From Data to Pattern Structures: Near Set Approach |