AI 2005: Advances in Artificial Intelligence

Invited Talks.- K-Optimal Pattern Discovery: An Efficient and Effective Approach to Exploratory Data Mining.- Providing Semantics for the WEB Using Fuzzy Set Methods.- Little Models, Big Results.- I: AI Foundations and Technologies.- Model Updating CTL Systems.- Model Checking for PRS-Like Agents.- A Fibred Belief Logic for Multi-agent Systems.- Inconsistency-Based Strategy for Clarifying Vague Software Requirements.- Conditioning Graphs: Practical Structures for Inference in Bayesian Networks.- Reasoning with the Outcomes of Plan Execution in Intentional Agents.- Tie Breaking in Clause Weighting Local Search for SAT.- Syntactic and Semantic Disambiguation of Numeral Strings Using an N-Gram Method.- Locating Regions of Interest in CBIR with Multi-instance Learning Techniques.- Ensemble Selection for SuperParent-One-Dependence Estimators.- Global Versus Local Constructive Function Approximation for On-Line Reinforcement Learning.- Any-Cost Discovery: Learning Optimal Classification Rules.- Preprocessing Time Series Data for Classification with Application to CRM.- Combining Contents and Citations for Scientific Document Classification.- Machine Learning Approach to Realtime Intrusion Detection System.- Structural Abstraction Experiments in Reinforcement Learning.- A Hybrid Adaptive Multi-objective Memetic Algorithm for 0/1 Knapsack Problem.- Probability Estimation in Error Correcting Output Coding Framework Using Game Theory.- Evaluation of Strings in Computer Go Using Articulation Points Check and Seki Judgment.- The Value of Stealth in the Game of Chess.- Coordinated Collision Avoidance of Multiple Biomimetic Robotic Fish.- The Virtual Room Inhabitant – Intuitive Interaction with Intelligent Environments.- Evaluating Techniques for Resolving Redundant Information and Specularity in Occupancy Grids.- II: Computational Intelligence.- Analyzing Security Protocols Using Association Rule Mining.- Redundant Association Rules Reduction Techniques.- Construction Algorithm of Principal Curves in the Sense of Limit.- Collateral Missing Value Estimation: Robust Missing Value Estimation for Consequent Microarray Data Processing.- Using Neural Networks to Support Early Warning System for Financial Crisis Forecasting.- A Neural Network Based Methodology for Performance Evaluation of Parallel Systems.- Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.- Applying a Fuzzy Trust Model to E-Commerce Systems.- Emotion-Based Crowd Simulation Using Fuzzy Algorithm.- A Genetic Algorithm for Job Shop Scheduling with Load Balancing.- A Co-evolutionary Particle Swarm Optimization-Based Method for Multiobjective Optimization.- The Effect of Mutation on the Accumulation of Information in a Genetic Algorithm.- Linear Genetic Programming for Multi-class Object Classification.- Evolutionary Design of Fuzzy Classifiers Using Information Granules.- Constrained Optimization by the ? Constrained Hybrid Algorithm of Particle Swarm Optimization and Genetic Algorithm.- Automated Information Mediator for HTML and XML Based Web Information Delivery Service.- Agent-Based Middleware for Web Service Dynamic Integration on Peer-to-Peer Networks.- Towards User Profiling for Web Recommendation.- A Controlled Natural Language Layer for the Semantic Web.- GaXsearch: An XML Information Retrieval Mechanism Using Genetic Algorithms.- A New Approach on ? to Decision Making Using Belief Functions Under Incomplete Information.- A Hybrid Recommendation Approach for One-and-Only Items.- Exchange Rate Modelling Using News Articles and Economic Data.- Adaptive Utility-Based Scheduling in Resource-Constrained Systems.- III: AI in Specialized Domains.- New Feature Extraction Approaches for Face Recognition.- EBGM with Fuzzy Fusion on Face Recognition.- Robust License Plate Segmentation Method Based on Texture Features and Radon Transform.- An Adaptive Selection of Motion for Online Hand-Eye Calibration.- Scene Boundary Detection by Audiovisual Contents Analysis.- k–Nearest Neighbors Associative Memory Model for Face Recognition.- A New Spectral Smoothing Algorithm for Unit Concatenating Speech Synthesis.- New Fuzzy Skin Model for Face Detection.- Kernel Nonparametric Weighted Feature Extraction for Classification.- Iterative Training Techniques for Phonetic Template Based Speech Recognition with a Speaker-Independent Phonetic Recognizer.- Active Visual Learning and Recognition Using Incremental Kernel PCA.- Automated Scene Understanding for Airport Aprons.- Semantic Correlation Network Based Text Clustering.- Time-Varying Prototype Reduction Schemes Applicable for Non-stationary Data Sets.- Multi-agent System Simulating Tumoral Cells Migration.- An Intelligent Agent-Based Framework for Collaborative Information Security.- Agents, Information and Trust.- Modelling Partner’s Behaviour in Agent Negotiation.- Insurance Services in Multi-agent Systems.- Dynamic Team Forming in Self-interested Multi-agent Systems.- N-Learning: A Reinforcement Learning Paradigm for Multiagent Systems.- Preferences of Agents in Defeasible Logic.- MAHIS: An Agent-Oriented Methodology for Constructing Dynamic Platform-Based HIS.- 3D Game Engine for Real-Time Facial Animation.- Intelligent 3D Video Avatar for Immersive Telecommunication.- A Lagrangian Heuristic for Winner Determination Problem in Combinatorial Auctions.- Moving Cast Shadow Detection and Removal for Visual Traffic Surveillance.- A Hidden Markov Model and Immune Particle Swarm Optimization-Based Algorithm for Multiple Sequence Alignment.- Design of Intelligent Security Management System Using Simulation-Based Analysis.- Neighborhood Re-structuring in Particle Swarm Optimization.- IV: Short Papers.- Understanding the Pheromone System Within Ant Colony Optimization.- Model Checking Sum and Product.- The Proof Algorithms of Plausible Logic Form a Hierarchy.- A Maximum Entropy Model for Transforming Sentences to Logical Form.- An Information-Theoretic Causal Power Theory.- A Fixed-Point Semantics for Plausible Logic.- Applying Indiscernibility Attribute Sets to Knowledge Reduction.- Dempster Conditioning and Conditional Independence in Evidence Theory.- Case-Based Conflict Resolution in Multi-agent Ship Design System.- Reduced MDP Representation of a Logistical Planning Problem Using Petri-Nets.- Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.- Solving Job-Shop Scheduling Problems by a Novel Artificial Immune System.- Agent-Based Ontology Mapping Towards Ontology Interoperability.- Dynamic Negative Selection Algorithm Based on Match Range Model.- A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents.- Obstacle Avoidance and Path Planning Based on Flow Field for Biomimetic Robotic Fish.- A Facial Control Method Considering Internal Emotion of Sensibility Robot.- An Object Store Model for Diagnosing Java Programs.- A Multi-exchange Heuristic for a Production Location Problem.- The Car-Sequencing Problem as n-Ary CSP – Sequential and Parallel Solving.- Normalized Gaussian Networks with Mixed Feature Data.- A Comparative Study for WordNet Guided Text Representation.- Application of Bayesian Techniques for MLPs to Financial Time Series Forecasting.- An Incremental Nonlinear Dimensionality Reduction Algorithm Based on ISOMAP.- Robust Speaker Identification Based on t-Distribution Mixture Model.- Inducing Sequential Patterns from Multidimensional Time Series Data.- Fitness Approximation in Estimation of Distribution Algorithms for Feature Selection.- Automatic Feature Selection for Classification of Health Data.- BP Learning and Numerical Algorithm of Dynamic Systems.- Ant Colony Optimization Combining with Mutual Information for Feature Selection in Support Vector Machines.- A Preliminary MML Linear Classifier Using Principal Components for Multiple Classes.- Content-Based Classification of Music Using VQ-Multifeature Clustering Technique.- Individual Clustering and Homogeneous Cluster Ensemble Approaches Applied to Gene Expression Data.- Joint Spatial and Frequency Domains Watermarking Algorithm Based on Wavelet Packets.- Hybrid Agglomerative Clustering for Large Databases: An Efficient Interactivity Approach.- Constructing Multi-resolution Support Vector Regression Modelling.- Revised Entropy Clustering Analysis with Features Selection.- IC2: An Interval Based Characteristic Concept Learner.- A Comparative Study for Assessing the Reliability of Complex Networks Using Rules Extracted from Different Machine Learning Approaches.- Machine Learning for Time Interval Petri Nets.- Model Based Abnormal Acoustic Source Detection Using a Microphone Array.- Improving the Mobile Phone Habitat – Learning Changes in User’s Profiles.- A Stigmergy Based Approach to Data Mining.- Mining Domain-Driven Correlations in Stock Markets.- Selective Data Masking Design in Intelligent Knowledge Capsule for Efficient Data Mining.- On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining.- A Data Mining Approach in Opponent Modeling.- Automated Design and Knowledge Discovery of Logic Circuits Using a Multi-objective Adaptive GA.- Mining with Constraints by Pruning and Avoiding Ineffectual Processing.- Rough Association Mining and Its Application in Web Information Gathering.- Intrusion Detection Using Text Mining in a Web-Based Telemedicine System.- Web Usage Mining Using Evolutionary Support Vector Machine.- Optimization of Genetic Algorithm Parameters for Multi-channel Manufacturing Systems by Taguchi Method.- UAV Controller Design Using Evolutionary Algorithms.- River Flow Forecasting with Constructive Neural Network.- A Novel License Plate Location Method Based on Neural Network and Saturation Information.- Verification and Validation of Artificial Neural Network Models.- A Simulation Based Multi-criteria Scheduling Approach of Dual-Resource Constrained Manufacturing Systems with Neural Networks.- Quantitative Analysis of the Varieties of Apple Using Near Infrared Spectroscopy by Principal Component Analysis and BP Model.- Identification and Control of ITU Triga Mark-II Nuclear Research Reactor Using Neural Networks and Fuzzy Logic.- Differential Evolution Algorithm for Designing Optimal Adaptive Linear Combiners.- A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics.- Evolutionally Optimized Fuzzy Neural Networks Based on Fuzzy Relation Rules and Evolutionary Data Granulation.- Evolving While-Loop Structures in Genetic Programming for Factorial and Ant Problems.- Evolutionary Optimisation of Distributed Energy Resources.- Can Evolutionary Computation Handle Large Datasets? A Study into Network Intrusion Detection.- Automatic Loop-Shaping of QFT Controllers Using GAs and Evolutionary Computation.- Investigating the Effect of Incorporating Additional Levels in Structured Genetic Algorithms.- Accelerating Real-Valued Genetic Algorithms Using Mutation-with-Momentum.- A Fuzzy Inference Method for Spam-Mail Filtering.- Genetically Optimized Hybrid Fuzzy Polynomial Neural Networks Based on Polynomial and Fuzzy Polynomial Neurons.- Multi-item Fuzzy Inventory Model with Three Constraints: Genetic Algorithm Approach.- Fuzzy Attribute Implications: Computing Non-redundant Bases Using Maximal Independent Sets.- Fuzzy Classifier with Bayes Rule Consequent.- Identification of T–S Fuzzy Classifier Via Linear Matrix Inequalities.- An Adaptive Fuzzy c-Means Algorithm with the L 2 Norm.- Design of Information Granules-Based Fuzzy Systems Using Clustering Algorithm and Genetic Optimization.- A Personalized Recommendation System for Electronic Program Guide.- An Effective Recommendation Algorithm for Clustering-Based Recommender Systems.- An Intelligent Decision Making System to Support E-Service Management.- OWL, Proteins and Data Integration.- Web Site Improvements Based on Representative Pages Identification.- Unsupervised Bilingual Word Sense Disambiguation Using Web Statistics.- Optimal Production Policy for a Two-Stage Production System Under Lumpy Demand.- A Preliminary Investigation of a Linguistic Perceptron.- Skeleton Driven Limb Animation Based on Three-Layered Structure.- Answer Set Programming for Distributed Authorization: The Language, Computations, and Application.- Multiagent Architecture (BlueAgents) with the Dynamic Pricing and Maximum Profit Strategy in the TAC SCM.- Agent-Based Plot Planning for Automatic Generation of Computer Animation.- Mobile Agent Migration: An Optimal Policy.- Human Action Understanding Using Motion Verbs in WordNet.- Partitional Approach for Estimating Null Value in Relational Database.- A Robust Face Recognition System.- Resampling LDA/QR and PCA+LDA for Face Recognition.- Curvature Based Range Face Recognition Analysis Using Projection Vector by Subimage.- Multiple Face Tracking Using Kalman Estimator Based Color SSD Algorithm.- Target Word Selection for Korean Verbs Using a Bilingual Dictionary and WordNet.- A Color Image Segmentation Algorithm by Using Region and Edge Information.- Recognition of Passports Using FCM-Based RBF Network.- A Vision System for Partially Occluded Landmark Recognition.- Diversity Control in GP with ADF for Regression Tasks.- Some Propositions of Information Fusion for Pattern Recognition with Context Task.- A Personal Locating System Using the Vision-Based Augmented Reality.- Fast Candidate Generation for Template Matching Using Two 1-D Edge Projections.- Finding Similar Patterns in Microarray Data.- A Stereo Matching Using Variable Windows and Dynamic Programming.- Detection of Auto Programs for MMORPGs.- Automated Classification of Dementia Subtypes from Post-mortem Cortex Images.- Metrics for Model Selection in Consumer Finance Problems.- Microcontroller Based Temperature Control of Oven Using Different Kinds of Autotuning PID Methods.- Aggregation of Preferences Based on FSAM.- A Novel Particle Swarm Optimization for Constrained Optimization Problems.- A Framework for Relational Link Discovery.- IPQDA: A Software Tool for Intelligent Analysis of Power Quality Disturbances.- Bio-inspired Control of Dexterous Manipulation.- A Lagrangian Relaxation Based Heuristic for Solving the Length-Balanced Two Arc-Disjoint Shortest Paths Problem.- Optimizing Coupled Oscillators for Stability.- A Novel Approach for Vendor Combination Selection in Supply Chain Management.- A Robust SVM Design for Multi-class Classification.