1-13
A Complete Subsumption Algorithm
Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile and Floriana Esposito
14-26
Temporal Decision Trees for Diagnosis: An Extension
Claudia Picardi
27-38
Obligations as Social Constructs
Guido Boella and Leendert van der Torre
39-52
Automatically Decomposing Configuration Problems
Luca Anselma, Diego Magro and Pietro Torasso
53-64
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning
Francesca A. Lisi and Donato Malerba
65-77
A Methodology for the Induction of Ontological Knowledge from Semantic Annotations
Nicola Fanizzi, Floriana Esposito, Stefano Ferilli and Giovanni Semeraro
78-90
Qualitative Spatial Reasoning in a Logical Framework
Alessandra Raffaetà, Chiara Renso and Franco Turini
91-104
On Managing Temporal Information for Handling Durative Actions in LPG
Alfonso Gerevini, Alessandro Saetti and Ivan Serina
105-117
An Abductive Proof Procedure Handling Active Rules
Paolo Mancarella and Giacomo Terreni
118-129
BackPropagation through Cyclic Structures
M. Bianchini, M. Gori, L. Sarti and F. Scarselli
130-141
A Neural Architecture for Segmentation and Modelling of Range Data
Roberto Pirrone and Antonio Chella
142-153
A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction
Alessio Ceroni, Paolo Frasconi, Andrea Passerini and Alessandro Vullo
154-164
Adaptive Allocation of Data-Objects in the Web Using Neural Networks
Joaquin Pérez O., Rodolfo A. Pazos R., Hector J. Fraire H., Laura Cruz R. and Johnatan E. Pecero S.
165-175
Improving the SLA Algorithm Using Association Rules
Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi and Sergio Storari
176-188
Incremental Induction of Rules for Document Image Understanding
Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile and Floriana Esposito
189-200
Explaining Bagging with Monte Carlo Theory
Roberto Esposito and Lorenza Saitta
201-212
Pairwise Data Clustering Using Monotone Game Dynamics
Massimiliano Pavan and Marcello Pelillo
213-224
Abduction in Classification Tasks
Maurizio Atzori, Paolo Mancarella and Franco Turini
225-236
MQL: An Algebraic Query Language for Knowledge Discovery
Miriam Baglioni and Franco Turini
237-249
Preprocessing and Mining Web Log Data for Web Personalization
M. Baglioni, U. Ferrara, A. Romei, S. Ruggieri and F. Turini
250-261
Multi-relational Structural Bayesian Classifier
Michelangelo Ceci, Annalisa Appice, Donato Malerba and Vincenzo Colonna
262-274
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
Laura Giordano, Alberto Martelli and Camilla Schwind
275-286
Combining Intelligent Agents and Animation
Adam Szarowicz and Peter Forte
287-299
An Abductive Interpretation for Open Agent Societies
M. Alberti, M. Gavanelli, E. Lamma, P. Mello and P. Torroni
300-311
Reasoning about Conversation Protocols in a Logic-Based Agent Language
Matteo Baldoni, Cristina Baroglio, Alberto Martelli and Viviana Patti
312-323
Distributed Intelligent Management of Active Networks
G. Di Fatta, S. Gaglio, G. Lo Presti, G. Lo Re and I. Selvaggio
324-335
Planning under Uncertainty in Linear Time Logic
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini and Valentina Poggioni
336-348
Planning with Fuzzy Resources
Marco Baioletti, Alfredo Milani and Valentina Poggioni
349-361
Planning by Abstraction Using HW[]
Giuliano Armano, Giancarlo Cherchi and Eloisa Vargiu
362-374
The Role of Different Solvers in Planning and Scheduling Integration
Federico Pecora and Amedeo Cesta
375-384
Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors
Raffaele Bianco and Stefano Nolfi
385-397
An Early Cognitive Approach to Visual Motion Analysis
Silvio P. Sabatini and Fabio Solari
398-409
Content Based Image Retrieval for Unsegmented Images
Marco Anelli, Alessandro Micarelli and Enver Sangineto
410-422
A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture
Antonio Chella, Rosario Sorbello, Daniele Ribaudo, Ignazio V. Finazzo and Leonardo Papuzza
423-435
Image-Based Monte-Carlo Localisation without a Map
Emanuele Menegatti, Mauro Zoccarato, Enrico Pagello and Hiroshi Ishiguro
436-448
Making Explicit the Hidden Semantics of Hierarchical Classifications
Bernardo Magnini, Luciano Serafini and Manuela Speranza
449-461
Sub-symbolic Encoding of Words
Giorgio Vassallo, Giovanni Pilato, Andrea Maggio, Alessandro Puglisi and Salvatore Gaglio
462-473
A Relation-Based Schema for Treebank Annotation
Cristina Bosco and Vincenzo Lombardo
474-486
Personalized Recommendation of TV Programs
L. Ardissono, C. Gena, P. Torasso, F. Bellifemine and A. Chiarotto, et al.
487-498
A Simulation-Based Decision Support System for Forest Fire Fighting
Sung-Do Chi, Ye-Hwan Lim, Jong-Keun Lee, Jang-Se Lee and Soo-Chan Hwang, et al.
499-510
Knowledge Maintenance and Sharing in the KM Context: The Case of P–Truck
Stefania Bandini, Sara Manzoni and Fabio Sartori
511-522
A CSP-Based Interactive Decision Aid for Space Mission Planning
Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi and Nicola Policella
523-535
E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation
Marco Cignini, Stefano Mizzaro and Carlo Tasso
536-547
Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach
Paolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio and Gianpaolo Molino, et al.
548
Two Paradigms for Natural-Language Processing
Robert C. Moore
549
Robotics and AI: From Intelligent Robots to Neuro-robotics
Paolo Dario