Contains papers which are the refereed technical papers presented at AI2005, the Twenty-fiftth SGAI International Conference on theory, practical and application of Artificial Intelligence, held in Cambridge in December 2005.

Technical Keynote Address.- Computational Intelligence for Bioinformatics: The Knowledge Engineering Approach.- Best Technical paper.- Reusing JessTab Rules in Protégé.- Information Learning, Integration and Management.- Robot Docking Based on Omnidirectional Vision and Reinforcement Learning.- Global EM Learning of Finite Mixture Models using the Greedy Elimination Method.- Tracking Drifting Concepts by Time Window Optimisation.- Hierarchical knowledge-oriented specification for information integration.- Al and the World Wide Web.- The Semantic Web as a Linguistic Resource: Opportunities for Natural Language Generation.- A Distributed CBR Framework through Semantic Web Services.- Using simple ontologies to build personal Webs of knowledge.- Modeling Navigation Patterns of Visitors of Unstructured Websites.- Networks and Biologically Motivated Al.- Exploring the Noisy Threshold Function in Designing Bayesian Networks.- A biologically motivated neural network architecture for the avoidance of catastrophic interference.- Fast Estimation of Distribution Algorithm (EDA) via Constrained Multi-Parent Recombination.- Multi-Agent Systems.- A Trading Agent for a Multi-Issue Clearing House.- An Agent-Based Approach to ANN Training.- Case-Based Reasoning.- Collaborative Recommending using Formal Concept Analysis.- Using Case Differences for Regression in CBR Systems.- Formal Concept Analysis for Knowledge Refinement in Case Based Reasoning.- Recommendation Knowledge Discovery.- Knowledge Discovery in Data.- Improved Methods for Extracting Frequent Itemsets from Interim-Support Trees.- The Impact of Rule Ranking on the Quality of Associative Classifiers.- Reliable Instance Classification with Version Spaces.- Reasoning and Decision Making.- Acting Irrationally to ImprovePerformance in Stochastic Worlds.- On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.- Issues in Designing Tutors for Games of Incomplete Information: a Bridge Case Study.- Qualitative Representation and Reasoning with Uncertainty in Space and Time.

The papers in this volume are the refereed technical papers presented at AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2005. The papers in this volume present new and innovative developments in the field, divided into sections on Information Learning, Integration and Management, AI and the World Wide Web, Networks and Biologically Motivated AI, Multi-Agent Systems, Case-Based Reasoning, Knowledge Discovery in Data and Reasoning and Decision Making. This is the twenty-second volume in the Research and Development series. The series is essential reading for those who wish to keep up to date with developments in this important field. The Application Stream papers are published as a companion volume under the title Applications and Innovations in Intelligent Systems XIII.