Current Topics in Artificial Intelligence

This volume contains a selection of the papers accepted for oral presentation at the 13th Conference of the Spanish Association for Arti?cial Intelligence (CAEPIA 2009) and its associated Conference on Arti?cial Intelligence Te- nology Transfer (TTIA 2009), held in Seville, November 9 13, 2009. This was the 13th biennial conference in the CAEPIA series, which was started back in 1985. Previous editions took place in Madrid, Alicante, Mal aga, Murcia, Gijon , Donostia, Santiago de Compostela and Salamanca. With the permanent goal of making CAEPIA/TTIA a high-quality conf- ence,andfollowingthemodelofcurrentdemandingAIconferences,weorganized the review process for CAEPIA and TTIA papers in the following way. The S- enti?c Committee was structured in two levels. In the ?rst place, there was a Senior Program Committee, formed by 22 well-known members of the AI c- munity a?liated to Spanish universities and research centers. Secondly, there was a Program Committee consisting of almost 100 members (30% a?liated to non-Spanishinstitutions).EachpaperwasassignedtothreeProgramCommittee members who made the reviews (following the double-blind model), and to two Senior Program Committee members, who supervised these reviews. Authors could read the reviews during three days, and then introduce some feedback. These replies to the reviews were added to the review process, papers were d- cussed again, and ?nally Senior Program Committee members made a proposal to the Scienti?c Committee Chair.

Diagnosis.- Employing Test Suites for Verilog Fault Localization.- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation.- On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.- Evolutive Algorithms and Neural Networks.- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems.- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis.- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models.- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words.- Knowledge Representation and Engineering.- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.- Base Belief Change for Finitary Monotonic Logics.- Common Pitfalls in Ontology Development.- Machine Learning.- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5.- Selecting Few Genes for Microarray Gene Expression Classification.- Sequential Pattern Mining in Multi-relational Datasets.- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach.- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity.- Automated Constraint Selection for Semi-supervised Clustering Algorithm.- Multiagents.- Empirical Hardness for Mixed Auctions.- Developing Strategies for the ART Domain.- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack.- Natural Language.- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger.- Planning.- A Look-Ahead B&B Search for Cost-Based Planning.- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with SetupTimes.- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound.- Tutoring Systems.- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks.- Uncertainty: Bayesian Networks.- Recursive Probability Trees for Bayesian Networks.- Vision.- Generating Saliency Maps Using Human Based Computation Agents.- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation.- Applications.- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts.- Expert System to Real Time Control of Machining Processes.- A Flexible System for Document Processing and Text Transcription.