Journal: Intelligenza Artificiale

Volume 9, Issue 2

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

Volume 9, Issue 1

1 -- 0Oliviero Stock. Editorial
5 -- 20Daniele Calandriello, Alessandro Lazaric, Marcello Restelli. Sparse multi-task reinforcement learning
23 -- 0Salvatore Ruggieri. Introduction to the special issue on Artificial Intelligence for Society and Economy
25 -- 41Bruno Apolloni, Gian Luca Galliani, Matteo Gioia, Simone Bassis, Jacopo Rota, Luca Ferrari. Social things: Now we can
43 -- 61Giuseppe Attardi, Valerio Basile, Cristina Bosco, Tommaso Caselli, Felice dell'Orletta, Simonetta Montemagni, Viviana Patti, Maria Simi, Rachele Sprugnoli. State of the Art Language Technologies for Italian: The EVALITA 2014 Perspective
63 -- 72Manuele Bonaccorsi, Laura Fiorini, Subhash Sathyakeerthy, Alessandro Saffiotti, Filippo Cavallo, Paolo Dario. Design of cloud robotic services for senior citizens to improve independent living in multiple environments
73 -- 87Felip Miralles, Eloisa Vargiu. Providing physical and social autonomy to disabled people through BCI, telemonitoring and home support
89 -- 103Cataldo Musto, Giovanni Semeraro, Marco de Gemmis, Pasquale Lops. A framework for Personalized Wealth Management exploiting Case-Based Recommender Systems