This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007, held in Rome, Italy, in September 2007. The 42 revised full papers presented together with 14 revised poster papers and 3 invited talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, planning and scheduling, AI and applications. Three special tracks depicting progresses in significant application fields that represent increasingly relevant topics contain 18 additional papers on AI and robotics, AI and expressive media, and intelligent access to multimedia information. This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007. Coverage includes knowledge representation and reasoning, multiagent systems, distributed AI, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, AI and robotics, AI and expressive media, and intelligent access to multimedia information. Invited Talks Learning to Select Team Strategies in Finite-Timed Zero-Sum Games 1 Manuela Veloso Expressive Intelligence: Artificial Intelligence, Games and New Media 2 Michael Mateas Artificial Ontologies and Real Thoughts: Populating the Semantic Web? 3 Khurshid Ahmad Knowledge Representation and Reasoning Model-Based Diagnosability Analysis for Web Services 24 Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupr and Louise Trav assuy /TD> Finite Model Reasoning on UML Class Diagrams Via Constraint Programming 36 Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini Model Checking and Preprocessing 48 Andrea Ferrara, Paolo Liberatore, and Marco Schaerf Some Issues About Cognitive Modelling and Functionalism 60 Francesco Gagliardi Understanding the Environment Through Wireless Sensor Networks 72 Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, and Marco Ortolani An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FREEP 1.0 84 Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato Ranking and Reputation Systems in the QBF Competition 97 Massimo Narizzano, Luca Pulina, and Armando Tacchella A Top Down Interpreter for LPAD and CP-Logic 109 Fabrizio Riguzzi Multiagent Systems, Distributed AI Multi-layered General Agent Model 121 Stefania Costantini, Arianna Tocchio, Francesca Toni, and Panagiota Tsintza Goal Generation with Ordered Beliefs 133 C a da Costa Pereira and Andrea G.B. Tettamanzi Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic 145 Laura Giordano and Alberto Martelli Knowledge Engineering, Ontologies and the Semantic Web Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture 157 Daniele Bagni, Marco Cappella, Maria Teresa Pazienza, Marco Pennacchiotti, and Armando Stellato English Querying over Ontologies: E-QuOnto 170 Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, and Camilo Thorne Use of Ontologies in Practical NL Query Interpretation 182 Leonardo Lesmo and Livia Robaldo Machine Learning Evolving Complex Neural Net works 194 Mauro Annunziato, Ilaria Bertin, Matteo De Felice, and Stefano Pizzuti Discovering Relational Emerging Patterns 206 Annalisa Appice, Michelangelo Ceci, Carlo Malgieri, and Donato Malerba Advanced Tree-Based Kernels for Protein Classification 218 Elisa Cilia and Alessandro Moschitti A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 230 Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, and Daniele Magazzeni Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets 242 Roberto Esposito and Daniele P. Radicioni Instance-Based Query Answering with Semantic Knowledge Bases 254 Nicola Fanizzi, Claudia d'Amato, and Floriana Esposito A Hierarchical Clustering Procedure for Semantically Annotated Resources 266 Nicola Fanizzi, Claudia d'Amato, and Floriana Esposito Similarity-Guided Clause Generalization 278 S. Ferilli, T.M.A. Basile, N. Di Mauro, M. Biba, and F. Esposito Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences 290 Ugo Galassi, Attilio Giordana, and Lorenza Saitta Nearest Local Hyperplane Rules for Pattern Classification 302 G r Tak and B Pataki Natural Language Processing The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents 314 P. Basile, M. Degemmis, A.L. Gentile, P. Lops, and G. Semeraro Data-Driven Dialogue for Interactive Question Answering 326 Roberto Basili, Diego De Cao, Cristina Giannone, and Paolo Marocco GlossExtractor: A Web Application to Automatically Create a Domain Glossary 339 Roberto Navigli and Paola Velardi A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction 350 Daniele Pighin and Alessandro Moschitti Inferring Coreferences Among Person Names in a Large Corpus of News Collections 362 Octavian Popescu and Bernardo Magnini Dependency Tree Semantics: Branching Quantification in Underspecification 374 Livio Robaldo Information Retrieval and Extraction User Modelling for Personalized Question Answering 386 Silvia Quarteroni and Suresh Manandhar A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering 398 J rg Tiedemann A Variant of N-Gram Based Language Classification 410 Andrija Tomovic and Predrag Janicic Planning and Scheduling SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 422 Enrico Giunchiglia and Marco Maratea Plan Diagnosis and Agent Diagnosis in Multi-agent Systems 434 Roberto Micalizio and Pietro Torasso Boosting the Performance of Iterative Flattening Search 447 Angelo Oddi, Nicola Policella, Amedeo Cesta, and Stephen F. Smith Real-Time Trajectory Generation for Mobile Robots 459 Alireza Sahraei, Mohammad Taghi Manzuri, Mohammad Reza Razvan, Masoud Tajfard, and Saman Khoshbakht AI and Applications Curricula Modeling and Checking 471 Matteo Baldoni, Cristina Baroglio, and Elisa Marengo Case Based Support to Small Medium Enterprises: The Symphony Project 483 Stefania Bandini, Paolo Mereghetti, Esther Merino, and Fabio Sartori Synthesizing Proactive Assistance with Heterogeneous Agents 495 Amedeo Cesta, Gabriella Cortellessa, Federico Pecora, and Riccardo Rasconi Robust Color-Based Skin Detection for an Interactive Robot 507 Alvise Lastra, Alberto Pretto, Stefano Tonello, and Emanuele Menegatti Building Quality-Based Views of the Web 519 Enrico Triolo, Nicola Polettini, Diego Sona. and Paolo Avesani Special Track: AI and Robotics Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions 531 Andrea Bonarini, Alessandro Lazaric, and Marcello Restelli Uses of Contextual Knowledge in Mobile Robots 543 D. Calisi, A. Farinelli, G. Grisetti, L. Iocchi, D. Nardi, S. Pellegrini, D. Tipaldiripaldi, and V.A. Ziparo Natural Landmark Detection for Visually-Guided Robot Navigation 555 Enric Celaya, Jose-Luis Albarral, Pablo Jim z, and Carme Torras Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks 567 Antonio Chella, Haris Dindo, Francesco Matraxia, and Roberto Pirrone Attention-Based Environment Perception in Autonomous Robotics 579 Antonio Chella, Irene Macaluso, and Lorenzo Riano A 3D Virtual Model of the Knee Driven by EMG Signals 591 Massimo Sartori, Gaetano Chemello, and Enrico Pagello Special Track: AI and Expressive Media 'O Francesca, ma the sei grulla?' Emotions and Irony in Persuasion Dialogues 602 Irene Mazzotta, Nicole Novielli, Vincenzo Silvestri, and Fiorella de Rosis Music Expression Understanding Based on a Joint Semantic Space 614 Luca Mion and Giovanni De Poli Towards Automated Game Design 626 Mark J. Nelson and Michael Mateas Tonal Harmony Analysis: A Supervised Sequential Learning Approach 638 Daniele P. Radicioni and Roberto Esposito Words Not Cast in Stone 650 Carlo Strapparava, Alessandro Valitutti, and Oliviero Stock Special Track: Intelligent Access to Multimedia Information Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts 662 Maristella Agosti, Nicola Ferro, and Nicola Orio Mining Web Data for Image Semantic Annotation 674 Roberto Basili, Riccardo Petitti, and Dario Saracino Content Aware Image Enhancement 686 Gianluigi Ciocca, Claudio Cusano, Francesca Gasparini, and Raimondo Schettini Semantic Annotation of Complex Human Scenes for Multimedia Surveillance 698 Caries Fern ez, Pau Baiget, Xavier Roca, and Jordi Gonz z Synthesis of Hypermedia Using OWL and Jess 710 Alberto Machi and Antonino Lo Bue NaviTexte, a Text Navigation Tool 720 Javier Couto and Jean-Luc Minel TV Genre Classification Using Multimodal Information and Multilayer Perceptrons 730 Maurizio Montagnuolo and Alberto Messina Posters Hierarchical Text Categorization Through a Vertical Composition of Classifiers 742 Andrea Addis, Giuliano Armano, Francesco Mascia, and Eloisa Vargiu Text Categorization in Non-linear Semantic Space 749 Claudio Biancalana and Alessandro Micarelli A System Supporting Users of Cultural Resource Management Semantic Portals 757 Andrea Bonomi, Glauco Mantegari, Alessandro Mosca, Matteo Palmonari, and Giuseppe Vizzari Interactive Analysis of Time in Film Stories 765 Francesco Mele, Antonio Calabrese, and Roberta Marseglia Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine 773 Vincenzo Cannella, Giuseppe Russo, Daniele Peri, Roberto Pirrone, and Edoardo Ardizzone Mobile Robots and Intelligent Environments 781 Francesco Capezio, Fulvio Mastrogiovanni, Antonio Sgorbissa, and Renato Zaccaria Multi-robot Interacting Through Wireless Sensor Networks 789 Antonio Chella, Giuseppe Lo Re, Irene Macaluso, Marco Ortolani, and Daniele Peri Design of a Multiagent Solution for Demand-Responsive transportation 797 Claudio Cubillos, Sandra Gaete, Franco Guidi-Polanco, and Claudio Demartini Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Envirionments 805 Berardina De Carolis and Giovanni Cozzolongo Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions 813 C. Maria Keet Recognizing Chinese Proper Nouns with Transformation-Based Leaning and Ontology 822 Peifeng Li, Qiaoming Zhu, and Lei Wang Toward Image-Based Localization for AIBO Using Wavelet Transform 831 Alberto Pretto, Emanuele Menegatti, Enrico Pagello, Yoshiaki Jitsukawa, Ryuichi Ueda, and Tamio Arai Crosslingual Retrieval in an eLearning Environment 839 Cristina Vertan, Kiril Simov, Petya Osenova, Lothar Lemnitzer, Alex Killing, Diane Evans, and Paola Monachesi Constraint-Based School Timetabling Using Hybrid Genetic Algorithms 848 Tuncay Yigit Author Index 857