Progress in Artificial Intelligence

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.