AI*IA 2003: Pisa

@proceedings{DBLP:conf/aiia/2003,
  editor    = {Amedeo Cappelli and
               Franco Turini},
  title     = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress
               of the Italian Association for Artificial Intelligence, Pisa,
               Italy, September 23-26, 2003, Proceedings},
  booktitle = {AI*IA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2829},
  year      = {2003},
  isbn      = {3-540-20119-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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