Skip to main content
SpringerLink
Log in

AI*IA 2005: Advances in Artificial Intelligence

9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Stefania Bandini

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sara Manzoni

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3673)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AI*IA 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (62 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. AI*IA 2005: Advances in Artificial Intelligence

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation