Invited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students.

This two-volume set LNAI 6437 and 6438 constitutes the refereed proceedings of the 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, held in Pachuca, Mexico, in November 2010. Based on rigorous peer reviews, the program committee carefully selected 82 revised papers from 301 submissions for presentation in two volumes. The first volume includes 38 papers representing the current main topics of interest for the AI community and their applications. The papers are organized in topical sections on natural language processing; robotics, planning and scheduling; computer vision and image processing; logic and distributed systems; and AI-based medical applications.