Methods and Applications of Artificial Intelligence: Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings

This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002. The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and intelligent applications.

Table of Contents:
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.