Current Topics in Artificial Intelligence

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.