AI*IA 2007: Rome, Italy

Invited Talks

• Manuela M. Veloso:
  Learning to Select Team Strategies in Finite-Timed Zero-Sum Games. 1
  
• Michael Mateas:
  Expressive Intelligence: Artificial Intelligence, Games and New Media. 2
  
• Khurshid Ahmad:
  Artificial Ontologies and Real Thoughts: Populating the Semantic Web? 3-23
  

Knowledge Representation and Reasoning

• Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès:
  Model-Based Diagnosability Analysis for Web Services. 24-35
  
• Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
  Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. 36-47
  
• Andrea Ferrara, Paolo Liberatore, Marco Schaerf:
  Model Checking and Preprocessing. 48-59
  
• Francesco Gagliardi:
  Some Issues About Cognitive Modelling and Functionalism. 60-71
  
• Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Marco Ortolani:
  Understanding the Environment Through Wireless Sensor Networks. 72-83
  
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
  An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. 84-96
  
• Massimo Narizzano, Luca Pulina, Armando Tacchella:
  Ranking and Reputation Systems in the QBF Competition. 97-108
  
• Fabrizio Riguzzi:
  A Top Down Interpreter for LPAD and CP-Logic. 109-120
  

Multiagent Systems, Distributed AI

• Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza:
  A Multi-layered General Agent Model. 121-132
  
• Célia da Costa Pereira, Andrea Tettamanzi:
  Goal Generation with Ordered Beliefs. 133-144
  
• Laura Giordano, Alberto Martelli:
  Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. 145-156
  

Knowledge Engineering, Ontologies and the Semantic Web

• Daniele Bagni, Marco Cappella, Maria Teresa Pazienza, Marco Pennacchiotti, Armando Stellato:
  Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture. 157-169
  
• Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne:
  English Querying over Ontologies: E-QuOnto. 170-181
  
• Leonardo Lesmo, Livio Robaldo:
  Use of Ontologies in Practical NL Query Interpretation. 182-193
  

Machine Learning

• Mauro Annunziato, Ilaria Bertini, Matteo De Felice, Stefano Pizzuti:
  Evolving Complex Neural Networks. 194-205
  
• Annalisa Appice, Michelangelo Ceci, Carlo Malgieri, Donato Malerba:
  Discovering Relational Emerging Patterns. 206-217
  
• Elisa Cilia, Alessandro Moschitti:
  Advanced Tree-Based Kernels for Protein Classification. 218-229
  
• Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni:
  A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. 230-241
  
• Roberto Esposito, Daniele P. Radicioni:
  Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets. 242-253
  
• Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
  Instance-Based Query Answering with Semantic Knowledge Bases. 254-265
  
• Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
  A Hierarchical Clustering Procedure for Semantically Annotated Resources. 266-277
  
• Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito:
  Similarity-Guided Clause Generalization. 278-289
  
• Ugo Galassi, Attilio Giordana, Lorenza Saitta:
  Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences. 290-301
  
• Gábor Takács, Béla Pátkai:
  Nearest Local Hyperplane Rules for Pattern Classification. 302-313
  

Natural Language Processing

• Pierpaolo Basile, Marco Degemmis, Anna Lisa Gentile, Pasquale Lops, Giovanni Semeraro:
  The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents. 314-325
  
• Roberto Basili, Diego De Cao, Cristina Giannone, Paolo Marocco:
  Data-Driven Dialogue for Interactive Question Answering. 326-338
  
• Roberto Navigli, Paola Velardi:
  GlossExtractor: A Web Application to Automatically Create a Domain Glossary. 339-349
  
• Daniele Pighin, Alessandro Moschitti:
  A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction. 350-361
  
• Octavian Popescu, Bernardo Magnini:
  Inferring Coreferences Among Person Names in a Large Corpus of News Collections. 362-373
  
• Livio Robaldo:
  Dependency Tree Semantics: Branching Quantification in Underspecification. 374-385
  

Information Retrieval and Extraction

• Silvia Quarteroni, Suresh Manandhar:
  User Modelling for Personalized Question Answering. 386-397
  
• Jörg Tiedemann:
  A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering. 398-409
  
• Andrija Tomovic, Predrag Janicic:
  A Variant of N-Gram Based Language Classification. 410-421
  

Planning and Scheduling

• Enrico Giunchiglia, Marco Maratea:
  SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. 422-433
  
• Roberto Micalizio, Pietro Torasso:
  Plan Diagnosis and Agent Diagnosis in Multi-agent Systems. 434-446
  
• Angelo Oddi, Nicola Policella, Amedeo Cesta, Stephen F. Smith:
  Boosting the Performance of Iterative Flattening Search. 447-458
  
• Alireza Sahraei, Mohammad Taghi Manzuri, Mohammad Reza Razvan, Masoud Tajfard, Saman Khoshbakht:
  Real-Time Trajectory Generation for Mobile Robots. 459-470
  

AI and Applications

• Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
  Curricula Modeling and Checking. 471-482
  
• Stefania Bandini, Paolo Mereghetti, Esther Merino, Fabio Sartori:
  Case-Based Support to Small-Medium Enterprises: The Symphony Project. 483-494
  
• Amedeo Cesta, Gabriella Cortellessa, Federico Pecora, Riccardo Rasconi:
  Synthesizing Proactive Assistance with Heterogeneous Agents. 495-506
  
• Alvise Lastra, Alberto Pretto, Stefano Tonello, Emanuele Menegatti:
  Robust Color-Based Skin Detection for an Interactive Robot. 507-518
  
• Enrico Triolo, Nicola Polettini, Diego Sona, Paolo Avesani:
  Building Quality-Based Views of the Web. 519-530
  

AI and Robotics

• Andrea Bonarini, Alessandro Lazaric, Marcello Restelli:
  Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions. 531-542
  
• Daniele Calisi, Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Daniele Nardi, Stefano Pellegrini, D. Tipaldi, Vittorio A. Ziparo:
  Uses of Contextual Knowledge in Mobile Robots. 543-554
  
• Enric Celaya, Jose-Luis Albarral, Pablo Jiménez, Carme Torras:
  Natural Landmark Detection for Visually-Guided Robot Navigation. 555-566
  
• Antonio Chella, Haris Dindo, Francesco Matraxia, Roberto Pirrone:
  Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks. 567-578
  
• Antonio Chella, Irene Macaluso, Lorenzo Riano:
  Attention-Based Environment Perception in Autonomous Robotics. 579-590
  
• Massimo Sartori, Gaetano Chemello, Enrico Pagello:
  A 3D Virtual Model of the Knee Driven by EMG Signals. 591-601
  

AI and Expressive Media

• Irene Mazzotta, Nicole Novielli, Vincenzo Silvestri, Fiorella de Rosis:
  'O Francesca, ma che sei grulla?' Emotions and Irony in Persuasion Dialogues. 602-613
  
• Luca Mion, Giovanni De Poli:
  Music Expression Understanding Based on a Joint Semantic Space. 614-625
  
• Mark J. Nelson, Michael Mateas:
  Towards Automated Game Design. 626-637
  
• Daniele P. Radicioni, Roberto Esposito:
  Tonal Harmony Analysis: A Supervised Sequential Learning Approach. 638-649
  
• Carlo Strapparava, Alessandro Valitutti, Oliviero Stock:
  Words Not Cast in Stone. 650-661
  

Intelligent Access to Multimedia Information

• Maristella Agosti, Nicola Ferro, Nicola Orio:
  Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts. 662-673
  
• Roberto Basili, Riccardo Petitti, Dario Saracino:
  Mining Web Data for Image Semantic Annotation. 674-685
  
• Gianluigi Ciocca, Claudio Cusano, Francesca Gasparini, Raimondo Schettini:
  Content Aware Image Enhancement. 686-697
  
• Carles Fernández, Pau Baiget, F. Xavier Roca, Jordi Gonzàlez:
  Semantic Annotation of Complex Human Scenes for Multimedia Surveillance. 698-709
  
• Alberto Machì, Antonino Lo Bue:
  Synthesis of Hypermedia Using OWL and Jess. 710-719
  
• Javier Couto, Jean-Luc Minel:
  NaviTexte, a Text Navigation Tool. 720-729
  
• Maurizio Montagnuolo, Alberto Messina:
  TV Genre Classification Using Multimodal Information and Multilayer Perceptrons. 730-741
  

Posters

• Andrea Addis, Giuliano Armano, Francesco Mascia, Eloisa Vargiu:
  Hierarchical Text Categorization Through a Vertical Composition of Classifiers. 742-748
  
• Claudio Biancalana, Alessandro Micarelli:
  Text Categorization in Non-linear Semantic Space. 749-756
  
• Andrea Bonomi, Glauco Mantegari, Alessandro Mosca, Matteo Palmonari, Giuseppe Vizzari:
  A System Supporting Users of Cultural Resource Management Semantic Portals. 757-764
  
• Francesco Mele, Antonio Calabrese, Roberta Marseglia:
  Interactive Analysis of Time in Film Stories. 765-772
  
• Vincenzo Cannella, Giuseppe Russo, Daniele Peri, Roberto Pirrone, Edoardo Ardizzone:
  Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine. 773-780
  
• Francesco Capezio, Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria:
  Mobile Robots and Intelligent Environments. 781-788
  
• Antonio Chella, Giuseppe Lo Re, Irene Macaluso, Marco Ortolani, Daniele Peri:
  Multi-robot Interacting Through Wireless Sensor Networks. 789-796
  
• Claudio Cubillos, Sandra Gaete, Franco Guidi-Polanco, Claudio Demartini:
  Design of a Multiagent Solution for Demand-Responsive Transportation. 797-804
  
• Berardina De Carolis, Giovanni Cozzolongo:
  Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments. 805-812
  
• C. Maria Keet:
  Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions. 813-821
  
• Peifeng Li, Qiaoming Zhu, Lei Wang:
  Recognizing Chinese Proper Nouns with Transformation-Based Learning and Ontology. 822-830
  
• Alberto Pretto, Emanuele Menegatti, Enrico Pagello, Yoshiaki Jitsukawa, Ryuichi Ueda, Tamio Arai:
  Toward Image-Based Localization for AIBO Using Wavelet Transform. 831-838
  
• Cristina Vertan, Kiril Ivanov Simov, Petya Osenova, Lothar Lemnitzer, Alex Killing, Diane Evans, Paola Monachesi:
  Crosslingual Retrieval in an eLearning Environment. 839-847
  
• Tuncay Yigit:
  Constraint-Based School Timetabling Using Hybrid Genetic Algorithms. 848-855
  

Last update Sat May 18 18:04:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page