AI*IA 2003: Pisa

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

Last update Sat May 25 23:34:29 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page