Methods and Applications of Artificial Intelligence

Invited Talks.- Understanding the Internet.- Agent-Oriented Software Development.- Knowledge Representation & Reasoning.- The Ramification and Qualification Problems in Temporal Databases.- Multi-inference with Multi-neurules.- Decision Making Based on Past Problem Cases.- Logic Programming & Constraint Satisfaction.- Relating Defeasible Logic to Extended Logic Programs.- On Algorithms for Decomposable Constraints.- Cspcons: A Communicating Sequential Prolog with Constraints.- Genetic Evolution of Software Microorganisms.- Planning & Scheduling.- A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty.- Crew Pairing Optimization with Genetic Algorithms.- Integration of Topological and Metric Maps for Indoor Mobile Robot Path Planning and Navigation.- Natural Language Processing.- Symbolic Authoring for Multilingual Natural Language Generation.- A User-Sensitive Spoken Dialogue System Incorporating Emotional Responsiveness.- Transforming Spontaneous Telegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication.- Role Identification from Free Text Using Hidden Markov Models.- Human-Computer Interaction.- Improving SMS Usability Using Bayesian Networks.- Fuzzy Inference for Student Diagnosis in Adaptive Educational Hypermedia.- MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation.- Intelligent Semantic Access to Audiovisual Content.- Machine Learning.- A Multi-clustering Fusion Algorithm.- Distance and Feature-Based Clustering of Time Series: An Application on Neurophysiology.- Least-Squares Methods in Reinforcement Learning for Control.- Knowledge Discovery.- Association Rules & Evolution in Time.- Managing Uncertainty and Quality in the Classification Process.- The Role of Domain Knowledge in a Large Scale Data Mining Project.- Neural Networks.- Artificial Neural Network Learning: A Comparative Review.- Piecewise Neural Networks for Function Approximation, Cast in a Form Suitable for Parallel Computation.- Using Hopfield Networks to Solve Assignment Problem and N-Queen Problem: An Application of Guided Trial and Error Technique.- A Bayesian Regularization Method for the Probabilistic RBF Network.- Pattern Recognition.- Support Vector Machines with Clustering for Training with Very Large Datasets.- A Temporal Network of Support Vector Machine Classifiers for the Recognition of Visual Speech.- Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control.- Machine Vision.- Overview of Wave Probe-Based High-Resolution Subsurface Sensing, Imaging, and Vision.- 3D Volume Reconstruction by Serially Acquired 2D Slices Using a Distance Transform-Based Global Cost Function.- Definition and Extraction of Visual Landmarks for Indoor Robot Navigation.- Factors Affecting the Accuracy of an Active Vision Head.- Intelligent Internet & Multiagent Systems.- Query Translation for Mediators over Ontology-Based Information Sources.- Intelligent Querying of Web Documents Using a Deductive XML Repository.- Roles in Collaborative Activity.- Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.- Intelligent Applications.- On the Application of Artificial Intelligence Techniques to the Quality Improvement of Industrial Processes.- Using Non-uniform Crossover in Genetic Algorithm Methods to Speed up the Generation of Test Patterns for Sequential Circuits.- Hybrid Computational Intelligence Schemes in Complex Domains: An Extended Review.