AI*IA 2007 : artificial intelligence and human-oriented computing : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007 ; proceedings

The above contents are embodied in the proceedings of 52 papers together with 18 papers for the three Special Tracks. In total, 80 papers were submitted to the main conference of which 43 were selected as technical papers and 9 as posters. Papers are representative of a wide international research community with 15 countries involved and a percentage of 28% papers originating from research institutions located outside of Italy. We would like to express our gratitude to the AI\*IA Board that selected the Tor Vergata AI group for the organization of the 2007 congress. In particular, we thank Marco Schaerf and Salvatore Ruggieri for their continuous help and encouragement. A special thanks goes to Daniele Nardi and Vincenzo Lombardo, Chairs of the Special Tracks on AI and Robotics and AI and Expressive Media, respectively. They made these in-depth explorations of new fields possible, giving an excellent contribution to the technical quality of this volume. A crucial role was also played by the members of the Conference and Special Track Program Committees, and all the referees, for their major support in the hard review process. Our gratitude goes to all of them for the precious work in the selection of the high-quality papers appearing in these proceedings. A particular thank-you goes to our supporting institutions: the University of Rome, Tor Vergata for hosting the event in the wonderful location of Villa Mondragone; the "Unione Industriale e delle Imprese di Roma e del Lazio" for its effort in the dissemination of the event at the industrial level; Rome Municipality for its general advice as the closest public institution. Front Matter....Pages - Learning to Select Team Strategies in Finite-Timed Zero-Sum Games....Pages 1-1 Expressive Intelligence: Artificial Intelligence, Games and New Media....Pages 2-2 Artificial Ontologies and Real Thoughts: Populating the Semantic Web?....Pages 3-23 Model-Based Diagnosability Analysis for Web Services....Pages 24-35 Finite Model Reasoning on UML Class Diagrams Via Constraint Programming....Pages 36-47 Model Checking and Preprocessing....Pages 48-59 Some Issues About Cognitive Modelling and Functionalism....Pages 60-71 Understanding the Environment Through Wireless Sensor Networks....Pages 72-83 An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0....Pages 84-96 Ranking and Reputation Systems in the QBF Competition....Pages 97-108 A Top Down Interpreter for LPAD and CP-Logic....Pages 109-120 A Multi-layered General Agent Model....Pages 121-132 Goal Generation with Ordered Beliefs....Pages 133-144 Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic....Pages 145-156 Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture....Pages 157-169 English Querying over Ontologies: E-QuOnto....Pages 170-181 Use of Ontologies in Practical NL Query Interpretation....Pages 182-193 Evolving Complex Neural Networks....Pages 194-205 Discovering Relational Emerging Patterns....Pages 206-217 Advanced Tree-Based Kernels for Protein Classification....Pages 218-229 A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers....Pages 230-241 Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets....Pages 242-253 Instance-Based Query Answering with Semantic Knowledge Bases....Pages 254-265 A Hierarchical Clustering Procedure for Semantically Annotated Resources....Pages 266-277 Similarity-Guided Clause Generalization....Pages 278-289 Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences....Pages 290-301 Nearest Local Hyperplane Rules for Pattern Classification....Pages 302-313 The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents....Pages 314-325 Data-Driven Dialogue for Interactive Question Answering....Pages 326-338 GlossExtractor: A Web Application to Automatically Create a Domain Glossary....Pages 339-349 A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction....Pages 350-361 Inferring Coreferences Among Person Names in a Large Corpus of News Collections....Pages 362-373 Dependency Tree Semantics: Branching Quantification in Underspecification....Pages 374-385 User Modelling for Personalized Question Answering....Pages 386-397 A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering....Pages 398-409 A Variant of N-Gram Based Language Classification....Pages 410-421 SAT-Based Planning with Minimal-#actions Plans and “soft” Goals....Pages 422-433 Plan Diagnosis and Agent Diagnosis in Multi-agent Systems....Pages 434-446 Boosting the Performance of Iterative Flattening Search....Pages 447-458 Real-Time Trajectory Generation for Mobile Robots....Pages 459-470 Curricula Modeling and Checking....Pages 471-482 Case–Based Support to Small–Medium Enterprises: The Symphony Project....Pages 483-494 Synthesizing Proactive Assistance with Heterogeneous Agents....Pages 495-506 Robust Color-Based Skin Detection for an Interactive Robot....Pages 507-518 Building Quality-Based Views of the Web....Pages 519-530 Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions....Pages 531-542 Uses of Contextual Knowledge in Mobile Robots....Pages 543-554 Natural Landmark Detection for Visually-Guided Robot Navigation....Pages 555-566 Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks....Pages 567-578 Attention-Based Environment Perception in Autonomous Robotics....Pages 579-590 A 3D Virtual Model of the Knee Driven by EMG Signals....Pages 591-601 ‘O Francesca, ma che sei grulla?’ Emotions and Irony in Persuasion Dialogues....Pages 602-613 Music Expression Understanding Based on a Joint Semantic Space....Pages 614-625 Towards Automated Game Design....Pages 626-637 Tonal Harmony Analysis: A Supervised Sequential Learning Approach....Pages 638-649 Words Not Cast in Stone....Pages 650-661 Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts....Pages 662-673 Mining Web Data for Image Semantic Annotation....Pages 674-685 Content Aware Image Enhancement....Pages 686-697 Semantic Annotation of Complex Human Scenes for Multimedia Surveillance....Pages 698-709 Synthesis of Hypermedia Using OWL and Jess....Pages 710-719 NaviTexte, a Text Navigation Tool....Pages 720-729 TV Genre Classification Using Multimodal Information and Multilayer Perceptrons....Pages 730-741 Hierarchical Text Categorization Through a Vertical Composition of Classifiers....Pages 742-748 Text Categorization in Non-linear Semantic Space....Pages 749-756 A System Supporting Users of Cultural Resource Management Semantic Portals....Pages 757-764 Interactive Analysis of Time in Film Stories....Pages 765-772 Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine....Pages 773-780 Mobile Robots and Intelligent Environments....Pages 781-788 Multi-robot Interacting Through Wireless Sensor Networks....Pages 789-796 Design of a Multiagent Solution for Demand-Responsive Transportation....Pages 797-804 Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments....Pages 805-812 Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions....Pages 813-821 Recognizing Chinese Proper Nouns with Transformation-Based Learning and Ontology....Pages 822-830 Toward Image-Based Localization for AIBO Using Wavelet Transform....Pages 831-838 Crosslingual Retrieval in an eLearning Environment....Pages 839-847 Constraint-Based School Timetabling Using Hybrid Genetic Algorithms....Pages 848-855 Back Matter....Pages - Annotation 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.