Methods and Applications of Artificial Intelligence（人工智能方法及应用）

The LNAI series reports state-of-the-art results in artificial intelligence re-search,development,and education,at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNAI has grown into the most comprehensive artificial intelligence research forum available.
The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes
proceedings（published in time for the respective conference）
post-proceedings（consisting of thoroughly revised final full papers）
research monographs（which may be based on PhD work）

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.

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 Tegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication
Role Identification from Free Text Using Hidden Markov Models
Human-Computer Interadtion
Improving SMS Usability Using B ayesian 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 Contellt
Machine Learning
Knowledge Discovery
Neural Networks
Pattern Recognition
Machine Vision
Intelligent Internet & Multiagent Systems
Intelligent Applications
Author Index