AI*IA 2003: Advances in artificial intelligence. 8th congress of the Italian association for artificial intelligence, Pisa, Italy, September 23--26, 2003. Proceedings (Q1413087)

The articles of this volume will be reviewed individually. The preceding congress has been reviewed (see Zbl 0971.00034). Indexed articles: \textit{Ferilli, Stefano; Di Mauro, Nicola; Basile, Teresa M. A.; Esposito, Floriana}, A complete subsumption algorithm, 1-13 [Zbl 1274.68408] \textit{Picardi, Claudia}, Temporal decision trees for diagnosis: an extension, 14-26 [Zbl 1274.68081] \textit{Boella, Guido; van der Torre, Leendert}, Obligations as social constructs, 27-38 [Zbl 1186.03040] \textit{Lisi, Francesca A.; Malerba, Donato}, Bridging the gap between Horn clausal logic and description logics in inductive learning, 53-64 [Zbl 1274.68333] \textit{Fanizzi, Nicola; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni}, A methodology for the induction of ontological knowledge from semantic annotations, 65-77 [Zbl 1274.68456] \textit{Raffaetà, Alessandra; Renso, Chiara; Turini, Franco}, Qualitative spatial reasoning in a logical framework, 78-90 [Zbl 1274.68468] \textit{Mancarella, Paolo; Terreni, Giacomo}, An abductive proof procedure handling active rules, 105-117 [Zbl 1274.68466] \textit{Bianchini, M.; Gori, M.; Sarti, L.; Scarselli, F.}, Backpropagation through cyclic structures, 118-129 [Zbl 1274.68292] \textit{Esposito, Roberto; Saitta, Lorenza}, Explaining bagging with Monte Carlo theory, 189-200 [Zbl 1274.68309] \textit{Pavan, Massimiliano; Pelillo, Marcello}, Pairwise data clustering using monotone game dynamics, 201-212 [Zbl 1274.68344] \textit{Atzori, Maurizio; Mancarella, Paolo; Turini, Franco}, Abduction in classification tasks, 213-224 [Zbl 1274.68285] \textit{Giordano, Laura; Martelli, Alberto; Schwind, Camilla}, Specifying and verifying systems of communicating agents in a temporal action logic, 262-274 [Zbl 1274.68580] \textit{Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.}, An abductive interpretation for open agent societies, 287-299 [Zbl 1274.68575] \textit{Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana}, Reasoning about conversation protocols in a logic-based agent language, 300-311 [Zbl 1274.68452] \textit{Mayer, Marta Cialdea; Limongelli, Carla; Orlandini, Andrea; Poggioni, Valentina}, Planning under uncertainty in linear time logic, 324-335 [Zbl 1274.68432] \textit{Baioletti, Marco; Milani, Alfredo; Poggioni, Valentina}, Planning with fuzzy resources, 336-348 [Zbl 1274.68416] \textit{Chella, Antonio; Sorbello, Rosario; Ribaudo, Daniele; Finazzo, Ignazio V.; Papuzza, Leonardo}, A mechanism of coalition formation in the Metaphor of Politics multiagent architecture, 410-422 [Zbl 1274.68577]