MICAI 2005: Advances in Artificial Intelligence

Knowledge Representation and Management.- Modelling Human Intelligence: A Learning Mechanism.- Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems.- The Topological Effect of Improving Knowledge Acquisition.- Belief Revision Revisited.- Knowledge and Reasoning Supported by Cognitive Maps.- Temporal Reasoning on Chronological Annotation.- EventNet: Inferring Temporal Relations Between Commonsense Events.- Multi Agent Ontology Mapping Framework in the AQUA Question Answering System.- A Three-Level Approach to Ontology Merging.- Domain and Competences Ontologies and Their Maintenance for an Intelligent Dissemination of Documents.- Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach.- Application of ASP for Agent Modelling in CSCL Environments.- Logic and Constraint Programming.- Deductive Systems’ Representation and an Incompleteness Result in the Situation Calculus.- Geometric Aspects Related to Solutions of #kSAT.- A Syntactical Approach to Belief Update.- A Fuzzy Extension of Description Logic .- An Approach for Dynamic Split Strategies in Constraint Solving.- Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.- Scheduling Transportation Events with Grouping Genetic Algorithms and the Heuristic DJD.- Radial Search: A Simple Solution Approach to Hard Combinatorial Problems.- Uncertainty Reasoning.- Rough Sets and Decision Rules in Fuzzy Set-Valued Information Systems.- Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity.- Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game.- Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation.- Multiagent Systems and Distributed AI.- Agent-Based Simulation Replication: A Model Driven Architecture Approach.- Effects of Inter-agent Communication in Ant-Based Clustering Algorithms: A Case Study on Communication Policies in Swarm Systems.- Coordination Through Plan Repair.- Enabling Intelligent Organizations: An Electronic Institutions Approach for Controlling and Executing Problem Solving Methods.- An Extended Behavior Network for a Game Agent: An Investigation of Action Selection Quality and Agent Performance in Unreal Tournament.- Air Pollution Assessment Through a Multiagent-Based Traffic Simulation.- Computer Vision and Pattern Recognition.- A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem.- Invariant Descriptions and Associative Processing Applied to Object Recognition Under Occlusions.- Real Time Facial Expression Recognition Using Local Binary Patterns and Linear Programming.- People Detection and Tracking Through Stereo Vision for Human-Robot Interaction.- Mapping Visual Behavior to Robotic Assembly Tasks.- Multilevel Seed Region Growth Segmentation.- A CLS Hierarchy for the Classification of Images.- Performance Evaluation of a Segmentation Algorithm for Synthetic Texture Images.- Image Retrieval Based on Salient Points from DCT Domain.- Machine Learning and Data Mining.- Selection of the Optimal Parameter Value for the ISOMAP Algorithm.- Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order.- A Neurobiologically Motivated Model for Self-organized Learning.- Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.- Simplify Decision Function of Reduced Support Vector Machines.- On-Line Learning of Decision Trees in Problems with Unknown Dynamics.- Improved Pairwise Coupling Support Vector Machines with Correcting Classifiers.- Least Squares Littlewood-Paley Wavelet Support Vector Machine.- Minimizing State Transition Model for Multiclassification by Mixed-Integer Programming.- Overview of Metaheuristics Methods in Compilation.- Comparison of SVM-Fuzzy Modelling Techniques for System Identification.- Time-Series Forecasting by Means of Linear and Nonlinear Models.- Perception Based Time Series Data Mining with MAP Transform.- A Graph Theoretic Approach to Key Equivalence.- Improvement of Data Visualization Based on ISOMAP.- Supporting Generalized Cases in Conversational CBR.- Organizing Large Case Library by Linear Programming.- Classifying Faces with Discriminant Isometric Feature Mapping.- A Grey-Markov Forecasting Model for the Electric Power Requirement in China.- A Fault Detection Approach Based on Machine Learning Models.- Evolutionary Computation and Genetic Algorithms.- A Mixed Mutation Strategy Evolutionary Programming Combined with Species Conservation Technique.- Coevolutionary Multi-objective Optimization Using Clustering Techniques.- A Comparison of Memetic Recombination Operators for the MinLA Problem.- Hybrid Particle Swarm – Evolutionary Algorithm for Search and Optimization.- Particle Swarm Optimization with Opposite Particles.- Particle Evolutionary Swarm Optimization with Linearly Decreasing ?-Tolerance.- Useful Infeasible Solutions in Engineering Optimization with Evolutionary Algorithms.- A Hybrid Self-adjusted Memetic Algorithm for Multi-objective Optimization.- Evolutionary Multiobjective Optimization Approach for Evolving Ensemble of Intelligent Paradigms for Stock Market Modeling.- Genetic Algorithms for Feature Weighting: Evolution vs. Coevolution and Darwin vs. Lamarck.- A Deterministic Alternative to Competent Genetic Algorithms That Solves to Optimality Linearly Decomposable Non-overlapping Problems in Polynomial Time.- Neural Networks.- K-Dynamical Self Organizing Maps.- Study of Application Model on BP Neural Network Optimized by Fuzzy Clustering.- Application of Modified Neural Network Weights’ Matrices Explaining Determinants of Foreign Investment Patterns in the Emerging Markets.- Neural Network and Trend Prediction for Technological Processes Monitoring.- Natural Language Processing.- Underspecified Semantics for Dependency Grammars.- Distributed English Text Chunking Using Multi-agent Based Architecture.- A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling.- Self-training and Co-training Applied to Spanish Named Entity Recognition.- Towards the Automatic Learning of Idiomatic Prepositional Phrases.- Measurements of Lexico-Syntactic Cohesion by Means of Internet.- Inferring Rules for Finding Syllables in Spanish.- A Multilingual SVM-Based Question Classification System.- Language Independent Passage Retrieval for Question Answering.- A New PU Learning Algorithm for Text Classification.- A Domain Independent Natural Language Interface to Databases Capable of Processing Complex Queries.- Intelligent Interfaces and Speech Processing.- An Efficient Hybrid Approach for Online Recognition of Handwritten Symbols.- Environment Compensation Based on Maximum a Posteriori Estimation for Improved Speech Recognition.- ASR Based on the Analasys of the Short-MelFrequencyCepstra Time Transform.- Building and Training of a New Mexican Spanish Voice for Festival.- Bioinformatics and Medical Applications.- A New Approach to Sequence Representation of Proteins in Bioinformatics.- Computing Confidence Measures in Stochastic Logic Programs.- Using Inductive Rules in Medical Case-Based Reasoning System.- Prostate Segmentation Using Pixel Classification and Genetic Algorithms.- A Novel Approach for Adaptive Unsupervised Segmentation of MRI Brain Images.- Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation.- A Comparative Study on Machine Learning Techniques for Prediction of Success of Dental Implants.- Infant Cry Classification to Identify Hypo Acoustics and Asphyxia Comparing an Evolutionary-Neural System with a Neural Network System.- Robotics.- Applying the GFM Prospective Paradigm to the Autonomous and Adaptative Control of a Virtual Robot.- Maximizing Future Options: An On-Line Real-Time Planning Method.- On the Use of Randomized Low-Discrepancy Sequences in Sampling-Based Motion Planning.- A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach.- Visual Planning for Autonomous Mobile Robot Navigation.- Gait Synthesis Based on FWN and PD Controller for a Five-Link Biped Robot.- Hybrid Fuzzy/Expert System to Control Grasping with Deformation Detection.- Adaptive Neuro-Fuzzy-Expert Controller of a Robotic Gripper.- A Semantically-Based Software Component Selection Mechanism for Intelligent Service Robots.- An Approach for Intelligent Fixtureless Assembly: Issues and Experiments.- On the Design of a Multimodal Cognitive Architecture for Perceptual Learning in Industrial Robots.- Modeling and Intelligent Control.- CORBA Distributed Robotic System: A Case Study Using a Motoman 6-DOF Arm Manipulator.- An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.- Evolutionary Dynamic Optimization of a Continuously Variable Transmission for Mechanical Efficiency Maximization.- Performance Improvement of Ad-Hoc Networks by Using a Behavior-Based Architecture.- Analysis of the Performance of Different Fuzzy System Controllers.- Discrete-Time Quasi-Sliding Mode Feedback-Error-Learning Neurocontrol of a Class of Uncertain Systems.- Stable Task Space Neuro Controller for Robot Manipulators Without Velocity Measurements.- Input-Output Data Modelling Using Fully Tuned RBF Networks for a Four Degree-of-Freedom Tilt Rotor Aircraft Platform.- A Frugal Fuzzy Logic Based Approach for Autonomous Flight Control of Unmanned Aerial Vehicles.- Sensor-Fusion System for Monitoring a CNC-Milling Center.- Intelligent Tutoring Systems.- A Probabilistic Model of Affective Behavior for Intelligent Tutoring Systems.- A Semi-open Learning Environment for Virtual Laboratories.