AI 2002: Advances in Artificial Intelligence

Using Minimum Message Length.- Evolutionary Algorithms.- Genetic Programming for Classification: An Analysis of Convergence Behaviour.- Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs.- Evolution in the Orange Box - A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks.- Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms.- Neural Networks I.- An Adaptive Activation Function for Higher Order Neural Networks.- An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability.- A Neural Network Online Training Algorithm Based on Compound Gradient Vector.- Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring.- Reinforcement Learning.- Adapting Kernels by Variational Approach in SVM.- Learning to Reach the Pareto Optimal Nash Equilibrium as a Team.- Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control.- Constraints and Scheduling.- A General Approach for Building Constraint Languages.- Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.- A Hybrid Genetic Algorithm for School Timetabling.- Genetic Scheduling on Minimal Processing Elements in the Grid.- Neural Net Applications I.- Protein Sequences Classification Using Modular RBF Neural Networks.- Feature Extraction and Selection in Tool Condition Monitoring System.- A Robust Meaning Extraction Methodology Using Supervised Neural Networks.- Solving Regression Problems Using Competitive Ensemble Models.- Learning Theory II.- Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries.- TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree.- Convergency of Learning Process.- Structured Features from Concept Lattices for Unsupervised Learning and Classification.- Satisfiability Reasoning.- Towards Fewer Parameters for SAT Clause Weighting Algorithms.- An Investigation of Variable Relationships in 3-SAT Problems.- Modelling More Realistic SAT Problems.- A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.- Neural Net Applications II.- Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications.- Surface Feature Recognition of Wear Debris.- Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques..- Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation.- Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation.- Estimating Episodes of Care Using Linked Medical Claims Data.- Estimating Episodes of Care Using Linked Medical Claims Data.- Fuzzy Reasoning.- Adaptation of a Mamdani Fuzzy Inference System Using Neuro-genetic Approach for Tactical Air Combat Decision Support System.- Optimization of Recurrent NN by GA with Variable Length Genotype.- Neural Networks II and CBR.- Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration.- The Application of Case Based Reasoning on Q&A System.- Abstracts of Posters.- Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures.- Real-Time Prediction of Water Stage with Artificial Neural Network Approach.- On the Design of Mathematical Concepts.- Consistency of Trust Theories.- An Artificially Intelligent Sports Tipper.- Selecting Semantics for Use with Semantic Pruning of Linear Deductions.- Calibration of Flow and Water Quality Modeling Using Genetic Algorithm.- A Comparison of Machine Learning Approaches for the Automated Classification of Dementia.- A Defeasible Logic of Policy-Based Intention (Extended Abstract).- A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance.- Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems.- Effective SAT Planning by Speculative Computation.