MICAI 2009: Advances in Artificial Intelligence [electronic resource] : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009 Proceedings /

Invited Talks -- Semantic Management of Heterogeneous Documents -- Logic and Reasoning -- Possibilistic Well-Founded Semantics -- Ontologies, Knowledge Management and Knowledge-Based Systems -- ACO for Solving the Distributed Allocation of a Corporate Semantic Web -- Implementing PS-Merge Operator -- Uncertainty and Probabilistic Reasoning -- Generating Explanations Based on Markov Decision Processes -- Compiling Multiply Sectioned Bayesian Networks: A Comparative Study -- Cosine Policy Iteration for Solving Infinite-Horizon Markov Decision Processes -- Transformer Diagnosis Using Probabilistic Vibration Models -- Intelligent Aircraft Damage Assessment, Trajectory Planning, and Decision-Making under Uncertainty -- A Scrabble Heuristic Based on Probability That Performs at Championship Level -- Natural Language Processing -- From Semantic Roles to Temporal Information Representation -- Dependency Language Modeling Using KNN and PLSI -- Supervised Recognition of Age-Related Spanish Temporal Phrases -- Using Nearest Neighbor Information to Improve Cross-Language Text Classification -- Ranking Refinement via Relevance Feedback in Geographic Information Retrieval -- Data Mining -- A Complex Networks Approach to Demographic Zonification -- Multiscale Functional Autoregressive Model for Monthly Sardines Catches Forecasting -- Discretization of Time Series Dataset with a Genetic Search -- Mining Social Networks on the Mexican Computer Science Community -- Machine Learning -- Probabilistic Graphical Markov Model Learning: An Adaptive Strategy -- Support Vector Optimization through Hybrids: Heuristics and Math Approach -- Pattern Recognition -- On-Line Signature Verification Based on Genetic Optimization and Neural-Network-Driven Fuzzy Reasoning -- Diagnosis of Cervical Cancer Using the Median M-Type Radial Basis Function (MMRBF) Neural Network -- Quasi-invariant Illumination Recognition for Appearance-Based Models, Taking Advantage of Manifold Information and Non-uniform Sampling -- Computer Vision and Image Processing -- Automatic Camera Localization, Reconstruction and Segmentation of Multi-planar Scenes Using Two Views -- The Nonsubsampled Contourlet Transform for Enhancement of Microcalcifications in Digital Mammograms -- Denoising Intra-voxel Axon Fiber Orientations by Means of ECQMMF Method -- A Profilometric Approach for 3D Reconstruction Using Fourier and Wavelet Transforms -- Vector Quantization Algorithm Based on Associative Memories -- Robotics -- A Two-Stage Relational Reinforcement Learning with Continuous Actions for Real Service Robots -- People Detection by a Mobile Robot Using Stereo Vision in Dynamic Indoor Environments -- Planning and Scheduling -- SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints -- Phase Transition in the Bandwidth Minimization Problem -- Planning for Conditional Learning Routes -- A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength -- Pipelining Memetic Algorithms, Constraint Satisfaction, and Local Search for Course Timetabling -- Fuzzy Logic -- Fuzzy Relational Compression Applied on Feature Vectors for Infant Cry Recognition -- Parametric Operations for Digital Hardware Implementation of Fuzzy Systems -- Fuzzy Logic for Combining Particle Swarm Optimization and Genetic Algorithms: Preliminary Results -- Optimization of Type-2 Fuzzy Integration in Modular Neural Networks Using an Evolutionary Method with Applications in Multimodal Biometry -- Neural Networks -- st-Alphabets: On the Feasibility in the Explicit Use of Extended Relational Alphabets in Classifier Systems -- Comparison of Neural Networksand Support Vector Machine Dynamic Models for State Estimation in Semiautogenous Mills -- Using Wolfe’s Method in Support Vector Machines Learning Stage -- Direct Adaptive Soft Computing Neural Control of a Continuous Bioprocess via Second Order Learning -- Intelligent Tutoring Systems -- A Kohonen Network for Modeling Students’ Learning Styles in Web 2.0 Collaborative Learning Systems -- Teaching-Learning by Means of a Fuzzy-Causal User Model -- Inferring Knowledge from Active Learning Simulators for Physics -- Bioinformatics and Medical Applications -- Leukocyte Recognition Using EM-Algorithm -- An Automaton for Motifs Recognition in DNA Sequences -- Hybrid Intelligent Systems -- A New Method for Optimal Cropping Pattern -- MultiQuenching Annealing Algorithm for Protein Folding Problem -- Outlier Detection with a Hybrid Artificial Intelligence Method -- Wind Speed Forecasting Using a Hybrid Neural-Evolutive Approach -- Hybridization of Evolutionary Mechanisms for Feature Subset Selection in Unsupervised Learning -- Evolutionary Algorithms -- A Particle Swarm Optimization Method for Multimodal Optimization Based on Electrostatic Interaction -- Ranking Methods for Many-Objective Optimization -- Why Unary Quality Indicators Are Not Inferior to Binary Quality Indicators -- Using Copulas in Estimation of Distribution Algorithms -- Redistricting by Square Cells -- Finding Minimal Addition Chains with a Particle Swarm Optimization Algorithm -- Linear Wind Farm Layout Optimization through Computational Intelligence -- Building Blocks and Search -- An Analysis of Recombination in Some Simple Landscapes -- An Empirical Investigation of How Degree Neutrality Affects GP Search.