AI*IA 2005: Advances in Artificial Intelligence AI*IA 2005 人工智能进展/会议录

This book constitutes the refereed proceedings of the 9th Congress of the Italian Association for Artificial Intelligence, AI*IA 2005, held in Milan, Italy in September 2005. The 46 revised full papers presented together with 16 revised short papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on either theoretical research with results and proposals, improvements and consolidations, or on applications as there are systems and prototypes, case studies and proposals. Within this classification some of the main classical topics of AI are presented (agents, knowledge representation, machine learning, planning, robotics, natural language, etc.), but here the focus is on the ability of AI computational approaches to face challenging problems and to propose innovative solutions.

Theoretical Research: Results and Proposals
　The Complexity of Action Redundancy
　On the Impact of Small-World on Local Search
　A Hybrid Logic for Commonsense Spatial Reasoning
　Using a Theorem Prover for Reasoning on Constraint ProSlems
　Good and Bad Practices in Propositionalisation
　Periodicity-Based Temporal Constraints
　A Survey of Problem Difficulty in Genetic Programming
　Intelligent Information Access by Learning WordNet-Based User Profiles
　Refined Approximation of Concepts in Ontology
　Theoretical Research: Improvements and
　Argumentation for Access Control
　Determining Preferences Through Argumentation
　Avoiding Order Effects in Incremental Learning
　Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming
　The SCIFF Abductive Proof-Procedure
　Scheduling with Probability and Temporal Constraints
　Schedule Robustness Through Broader Solve and Robustify Search　for Partial Order Schedules
　Optimal Scheduling with Heuristic Best First Search
　Planning with Derived Predicates Through Rule-Action Graphs　and Local Search Techniques
　The Architecture of a Reactive Path-Planner for Mobile Robots Based　on Cellular Automata
　Modal Operators with Adaptable Semantics for Multi-agent Systems
　An Organisation Infrastructure for Multi-agent Systems Based on　Agent Coordination Contexts
　Towards Fault-Tolerant Formal Concept Analysis
　Agent-Based Management of Responsive Environments
　An ACL for Specifying Fault-Tolerant Protocols
……
Applications:Systems and Prototypes
Applications:Case and Proposals
Author Index