| 175 | -- | 177 | Francesco Calimeri, Simona Perri, Ester Zumpano. Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) |
| 178 | -- | 205 | Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps |
| 206 | -- | 232 | Stefano Forti 0002, Giuseppe Bisicchia, Antonio Brogi. Declarative continuous reasoning in the cloud-IoT continuum |
| 233 | -- | 280 | Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato. Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning |
| 281 | -- | 306 | Stefano Bistarelli, Carlo Taticchi. A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks |
| 307 | -- | 330 | Nicola Rizzo, Agostino Dovier. <tt>3coSoKu</tt> and its declarative modeling |
| 331 | -- | 346 | Francesco Fabiano, Alessandro Dal Palù. An ASP approach for arteries classification in CT scans |
| 347 | -- | 368 | Andrea Loreggia, Emiliano Lorini, Giovanni Sartor. Modelling Ceteris Paribus Preferences with Deontic Logic |
| 369 | -- | 401 | Roberta Calegari, Andrea Omicini, Giuseppe Pisano, Giovanni Sartor. Arg2P: an argumentation framework for explainable intelligent systems |
| 402 | -- | 442 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach |
| 443 | -- | 478 | Stefania Costantini. Ensuring trustworthy and ethical behaviour in intelligent logical agents |