AI*IA 2005: Advances in Artificial Intelligence

1. Front Matter

   PDF

2. Theoretical Research: Results and Proposals

   1. The Complexity of Action Redundancy

      • Andrea Ferrara, Paolo Liberatore, Marco Schaerf

      Pages 1-12

   2. On the Impact of Small-World on Local Search

      • Andrea Roli

      Pages 13-24

   3. A Hybrid Logic for Commonsense Spatial Reasoning

      • Stefania Bandini, Alessandro Mosca, Matteo Palmonari

      Pages 25-37

   4. Using a Theorem Prover for Reasoning on Constraint Problems

      • Marco Cadoli, Toni Mancini

      Pages 38-49

   5. Good and Bad Practices in Propositionalisation

      • Nicolas Lachiche

      Pages 50-61

   6. Periodicity-Based Temporal Constraints

      • Paolo Terenziani, Luca Anselma, Stefania Montani

      Pages 62-65

   7. A Survey of Problem Difficulty in Genetic Programming

      • Leonardo Vanneschi, Marco Tomassini, Philippe Collard, Manuel Clergue

      Pages 66-77

   8. Intelligent Information Access by Learning WordNet-Based User Profiles

      • M. Degemmis, P. Lops, G. Semeraro

      Pages 78-81

   9. Refined Approximation of Concepts in Ontology

      • Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li, Peng Wang

      Pages 82-85

3. Theoretical Research: Improvements and Consolidations

   1. Argumentation for Access Control

      • Guido Boella, Joris Hulstijn, Leendert van der Torre

      Pages 86-97

   2. Determining Preferences Through Argumentation

      • Sylvie Doutre, Trevor Bench-Capon, Paul E. Dunne

      Pages 98-109

   3. Avoiding Order Effects in Incremental Learning

      • Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa M. A. Basile

      Pages 110-121

   4. Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming

      • Enrico Giunchiglia, Marco Maratea

      Pages 122-134

   5. The SCIFF Abductive Proof-Procedure

      • Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

      Pages 135-147

   6. Scheduling with Probability and Temporal Constraints

      • Bassam Baki, Maroua Bouzid

      Pages 148-159

   7. Schedule Robustness Through Broader Solve and Robustify Search for Partial Order Schedules

      • Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith

      Pages 160-172

   8. Optimal Scheduling with Heuristic Best First Search

      • María R. Sierra, Ramiro Varela

      Pages 173-176

   9. Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques

      • Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli

      Pages 177-181

   10. The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular Automata

       • Fabio M. Marchese

       Pages 182-185

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), held in Milan at the University of Milano–Bicocca (September 21–23, 2005). On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.

• agents
• artificial intelligence
• classification
• intelligence
• knowledge
• knowledge representation
• learning
• machine learning
• robot
• robotics

• Research Center on Complex Systems and Artificial Intelligence (CSAI) Department of Computer Science, Systems and Communication (DISCo), University of Milan, Milan, (Italy)

  Stefania Bandini

• CSAI - Complex Systems & Artificial Intelligence Research Centre, University of Milano–Bicocca,  

  Sara Manzoni

Policies and ethics