105 | -- | 0 | Oliviero Stock. Editorial |
109 | -- | 125 | Nicola Olivetti, Gian Luca Pozzato. Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND |
129 | -- | 130 | Claudia Di Napoli, Silvia Rossi. Special issue on agents and multi-agent systems: From objects to agents |
131 | -- | 148 | Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi. Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach |
149 | -- | 161 | Federico Bergenti, Eleonora Iotti, Agostino Poggi. An outline of the use of transition systems to formalize JADE agents and multi-agent systems |
163 | -- | 177 | Luca Crociani, Andrea Piazzoni, Giuseppe Vizzari, Stefania Bandini. When reactive agents are not enough: Tactical level decisions in pedestrian simulation |
179 | -- | 192 | Francesco Barile, Alessandra Rossi, Mariacarla Staffa, Claudia Di Napoli, Silvia Rossi. QoS-aware task distribution to a team of robots: an healthcare case study |
193 | -- | 208 | Alba Amato, Marco Scialdone, Salvatore Venticinque. Emergent behavior in multi-agent systems for collaborating smart micro-grids |
209 | -- | 219 | Andrea Fornaia, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana. An AOP-RBPNN approach to infer user interests and mine contents on social media |