MICAI 2009: Advances in Artificial Intelligence

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 Wolfes 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-