Progress in Artificial Intelligence人工智能进展/会议录

This book constitutes the refereed proceedings of the 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, held in Covilhã, Portugal in December 2005 as nine integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 167 submissions. In accordance with the nine constituting workshops, the papers are organized in topical sections on general artificial intelligence (GAIW 2005), affective computing (AC 2005), artificial life and evolutionary algorithms (ALEA 2005), building and applying ontologies for the semantic Web (BAOSW 2005), computational methods in bioinformatics (CMB 2005), extracting knowledge from databases and warehouses (EKDB&W 2005), intelligent robotics (IROBOT 2005), multi-agent systems: theory and applications (MASTA 2005), and text mining and applications (TEMA 2005).

The LNCS series reports state-of-the-art results in computer science research，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，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology 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 outstanding PhD work，research projects，technical reports，etc.）.

Chapter 1 General Artificial Intelligence (GAIW 2005)
　Introduction
　Reducing Propositional Theories in Equilibrium Logic to Logic Programs
　Preference Revision Via Declarative Debugging
　Revised Stable Models - A Semantics for Logic Programs
　Operational Semantics for DyLPs
　Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation
　Partially Parametric SVM
　Adapting Hausdorff Metrics to Face Detection Systems: A Scale-Normalized Hausdorff Distance 　Approach
　Robust Real-Time Human Activity Recognition from Tracked Face Displacements
Chapter 2 Affective Computing (AC 2005)
　Introduction
　Adaptation and Decision-Making Driven by Emotional Memories Affective Revision
　Feeling and Reasoning: A Computational Model for Emotional Characters
Chapter 3 Artificial Life and Evolutionary Algorithms (ALEA 2005)
　Introduction
　Evolutionary Computation Approaches for Shape Modelling and Fitting
　Reaction-Agents: First MathematicM Validation of a Multi-agent System for Dynamical Biochemical Kinetics
　A Hybrid Classification System for Cancer Diagnosis with Proteomic Bio-markers
　Intelligent Multiobjective Particle Swarm Optimization Based on AER Model
　A Quantum Inspired Evolutionary Framework for Multi-objective Optimization
Chapter 4 Building and Applying Ontologies for the Semantic Web (BAOSW 2005)
　Introduction
　Christoph Tempich
　A Database Trigger Strategy to Maintain Knowledge Bases Developed Via Data Migration
……
Chapter 5 Computational Methods in Bioinformatics (CMB 2005)
Chapter 6 Extracting Knowledge from Databases and Warehouses (EKDB & W 2005)
Chapter 7 Intelligent Robotics (IROBOT 2005)
Chapter 8 Multi-agent Systems: Theory and Applications (MASTA 2005)
Author Index