Progress in Artificial Intelligence

With this edition, EPIA, the Portuguese Conference on Arti?cial Intelligence, celebrates its 20th anniversary.Like all its previous editions, it has been run - der the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA), which was established in 1984 and is also celebrating 20 years of activity. The ?rst edition of EPIA was held in Porto, in October 1985, organised by Pavel Brazdil, Miguel Filgueiras, Lu ?s Damas and Armando Campos e Matos. EPIA soon evolved to an international conference by adopting in its fourth edition English as the o?cial language and having its proceedings published by Springer,intheLNAIseries.Inrecentyears,theconferencegraduallyprogressed from a plenary organisation to a workshop-based structure. The conference has steadily assumed high-quality standards, both in its scienti?c management and in the scienti?c program, with the aim of progressively broadening its audience and improving its impact over young researchers. EPIA2005wasthe12theditionoftheconference.With theabove-mentioned celebrations in mind, we decided to work towards the involvement of several generations of AI researchersin the organisationof the event. As a result, EPIA 2005 involved for the ?rst time an Advisory Committee, composed of all the founders of APPIA that are still working in AI, and also the Co-chairs of the lastEPIAs,as listed elsewherein these proceedings.We wantto express to them our gratitude for all the support, advice and con?dence.

Inhalt
1 General Artificial Intelligence (GAIW 2005).- 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.- 2 Affective Computing (AC 2005).- Adaptation and Decision-Making Driven by Emotional Memories.- Affective Revision.- Feeling and Reasoning: A Computational Model for Emotional Characters.- 3 Artificial Life and Evolutionary Algorithms (ALEA 2005).- Evolutionary Computation Approaches for Shape Modelling and Fitting.- Reaction-Agents: First Mathematical 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.- 4 Building and Applying Ontologies for the Semantic Web (BAOSW 2005).- A Database Trigger Strategy to Maintain Knowledge Bases Developed Via Data Migration.- The SWRC Ontology Semantic Web for Research Communities.- 5 Computational Methods in Bioinformatics (CMB 2005).- Protein Sequence Classification Through Relevant Sequence Mining and Bayes Classifiers.- CONAN: An Integrative System for Biomedical Literature Mining.- A Quantum Evolutionary Algorithm for Effective Multiple Sequence Alignment.- Hierarchical Multi-classification with Predictive ClusteringTrees in Functional Genomics.- 6 Extracting Knowledge from Databases and Warehouses (EKDB&W 2005).- Multi-output Nonparametric Regression.- Adapting Peepholing to Regression Trees.- An Extension of Self-organizing Maps to Categorical Data.- Programming Relational Databases for Itemset Mining over Large Transactional Tables.- Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications.- User Group Profile Modeling Based on User Transactional Data for Personalized Systems.- Retail Clients Latent Segments.- Automatic Detection of Meddies Through Texture Analysis of Sea Surface Temperature Maps.- Monitoring the Quality of Meta-data in Web Portals Using Statistics, Visualization and Data Mining.- A Real Time Data Extraction, Transformation and Loading Solution for Semi-structured Text Files.- 7 Intelligent Robotics (IROBOT 2005).- Visual Based Human Motion Analysis: Mapping Gestures Using a Puppet Model.- Acquiring Observation Models Through Reverse Plan Monitoring.- Applying Biological Paradigms to Emerge Behaviour in RoboCup Rescue Team.- Survival Kit: A Constraint-Based Behavioural Architecture for Robot Navigation.- Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net.- Robust Artificial Landmark Recognition Using Polar Histograms.- An Architecture of Sensor Fusion for Spatial Location of Objects in Mobile Robotics.- CATRAPILAS A Simple Robotic Platform.- 8 Multi-agent Systems: Theory and Applications (MASTA 2005).- A Model of Pedagogical Negotiation.- Towards a Market Mechanism for Airport Traffic Control.- Intentions and Strategies in Game-Like Scenarios.- Semantics and Pragmatics for Agent Communication.- Logical Implementation of Uncertain Agents.- Subgoal Semantics in AgentProgramming.- The Multi-team Formation Precursor of Teamwork.- Seeking Multiobjective Optimization in Uncertain, Dynamic Games.- Learning to Select Negotiation Strategies in Multi-agent Meeting Scheduling.- 9 Text Mining and Applications (TEMA 2005).- An Approach to Acquire Word Translations from Non-parallel Texts.- Experiments on Statistical and Pattern-Based Biographical Summarization.- Constrained Atomic Term: Widening the Reach of Rule Templates in Transformation Based Learning.- Improving Passage Retrieval in Question Answering Using NLP.- Mining the Semantics of Text Via Counter-Training.- Minimum Redundancy Cut in Ontologies for Semantic Indexing.- Unsupervised Learning of Multiword Units from Part-of-Speech Tagged Corpora: Does Quantity Mean Quality?.- Lappin and Leass' Algorithm for Pronoun Resolution in Portuguese.- STEMBR: A Stemming Algorithm for the Brazilian Portuguese Language.