Table of Contents

• A Complete Subsumption AlgorithmStefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito. 1-13 [doi]
• Temporal Decision Trees for Diagnosis: An ExtensionClaudia Picardi. 14-26 [doi]
• Obligations as Social ConstructsGuido Boella, Leendert W. N. van der Torre. 27-38 [doi]
• Automatically Decomposing Configuration ProblemsLuca Anselma, Diego Magro, Pietro Torasso. 39-52 [doi]
• Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive LearningFrancesca A. Lisi, Donato Malerba. 53-64 [doi]
• A Methodology for the Induction of Ontological Knowledge from Semantic AnnotationsNicola Fanizzi, Floriana Esposito, Stefano Ferilli, Giovanni Semeraro. 65-77 [doi]
• Qualitative Spatial Reasoning in a Logical FrameworkAlessandra Raffaetà, Chiara Renso, Franco Turini. 78-90 [doi]
• On Managing Temporal Information for Handling Durative Actions in LPGAlfonso Gerevini, Alessandro Saetti, Ivan Serina. 91-104 [doi]
• An Abductive Proof Procedure Handling Active RulesPaolo Mancarella, Giacomo Terreni. 105-117 [doi]
• BackPropagation through Cyclic StructuresMonica Bianchini, Marco Gori, Lorenzo Sarti, Franco Scarselli. 118-129 [doi]
• A Neural Architecture for Segmentation and Modelling of Range DataRoberto Pirrone, Antonio Chella. 130-141 [doi]
• A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure PredictionAlessio Ceroni, Paolo Frasconi, Andrea Passerini, Alessandro Vullo. 142-153 [doi]
• Adaptive Allocation of Data-Objects in the Web Using Neural NetworksJoaquín Pérez, Rodolfo A. Pazos, Héctor J. Fraire H., Laura Cruz, Johnatan E. Pecero. 154-164 [doi]
• Improving the SLA Algorithm Using Association RulesEvelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari. 165-175 [doi]
• Incremental Induction of Rules for Document Image UnderstandingStefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito. 176-188 [doi]
• Explaining Bagging with Monte Carlo TheoryRoberto Esposito, Lorenza Saitta. 189-200 [doi]
• Pairwise Data Clustering Using Monotone Game DynamicsMassimiliano Pavan, Marcello Pelillo. 201-212 [doi]
• Abduction in Classification TasksMaurizio Atzori, Paolo Mancarella, Franco Turini. 213-224 [doi]
• MQL: An Algebraic Query Language for Knowledge DiscoveryMiriam Baglioni, Franco Turini. 225-236 [doi]
• Preprocessing and Mining Web Log Data for Web PersonalizationMiriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini. 237-249 [doi]
• Multi-relational Structural Bayesian ClassifierMichelangelo Ceci, Annalisa Appice, Donato Malerba, Vincenzo Colonna. 250-261 [doi]
• Specifying and Verifying Systems of Communicating Agents in a Temporal Action LogicLaura Giordano, Alberto Martelli, Camilla Schwind. 262-274 [doi]
• Combining Intelligent Agents and AnimationAdam Szarowicz, Peter Forte. 275-286 [doi]
• An Abductive Interpretation for Open Agent SocietiesMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. 287-299 [doi]
• Reasoning about Conversation Protocols in a Logic-Based Agent LanguageMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. 300-311 [doi]
• Distributed Intelligent Management of Active NetworksGiuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio. 312-323 [doi]
• Planning under Uncertainty in Linear Time LogicMarta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni. 324-335 [doi]
• Planning with Fuzzy ResourcesMarco Baioletti, Alfredo Milani, Valentina Poggioni. 336-348 [doi]
• Planning by Abstraction Using HW[]Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu. 349-361 [doi]
• The Role of Different Solvers in Planning and Scheduling IntegrationFederico Pecora, Amedeo Cesta. 362-374 [doi]
• Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile SensorsRaffaele Bianco, Stefano Nolfi. 375-384 [doi]
• An Early Cognitive Approach to Visual Motion AnalysisSilvio P. Sabatini, Fabio Solari. 385-397 [doi]
• Content Based Image Retrieval for Unsegmented ImagesMarco Anelli, Alessandro Micarelli, Enver Sangineto. 398-409 [doi]
• A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent ArchitectureAntonio Chella, Rosario Sorbello, Daniele Ribaudo, Ignazio V. Finazzo, Leonardo Papuzza. 410-422 [doi]
• Image-Based Monte-Carlo Localisation without a MapEmanuele Menegatti, Mauro Zoccarato, Enrico Pagello, Hiroshi Ishiguro. 423-435 [doi]
• Making Explicit the Hidden Semantics of Hierarchical ClassificationsBernardo Magnini, Luciano Serafini, Manuela Speranza. 436-448 [doi]
• Sub-symbolic Encoding of WordsGiorgio Vassallo, Giovanni Pilato, Andrea Maggio, Alessandro Puglisi, Salvatore Gaglio. 449-461 [doi]
• A Relation-Based Schema for Treebank AnnotationCristina Bosco, Vincenzo Lombardo. 462-473 [doi]
• Personalized Recommendation of TV ProgramsLiliana Ardissono, Cristina Gena, Pietro Torasso, Fabio Bellifemine, A. Chiarotto, Angelo Difino, Barbara Negro. 474-486 [doi]
• A Simulation-Based Decision Support System for Forest Fire FightingSung-Do Chi, Ye-Hwan Lim, Jong-Keun Lee, Jang-Se Lee, Soo Chan Hwang, Byung-Heum Song. 487-498 [doi]
• Knowledge Maintenance and Sharing in the KM Context: The Case of P--TruckStefania Bandini, Sara Manzoni, Fabio Sartori. 499-510 [doi]
• A CSP-Based Interactive Decision Aid for Space Mission PlanningAmedeo Cesta, Gabriella Cortellessa, Angelo Oddi, Nicola Policella. 511-522 [doi]
• E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental EvaluationMarco Cignini, Stefano Mizzaro, Carlo Tasso. 523-535 [doi]
• Applying Artificial Intelligence to Clinical Guidelines: The GLARE ApproachPaolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Luca Anselma, Gianluca Correndo. 536-547 [doi]
• Two Paradigms for Natural-Language ProcessingRobert C. Moore. 548 [doi]
• Robotics and AI: From Intelligent Robots to Neuro-roboticsPaolo Dario. 549 [doi]