Progress in Artificial Intelligence

This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held in Guimarães, Portugal, in December 2007 as eleven integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 210 submissions. In accordance with the eleven constituting workshops, the papers are organized in topical sections on a broad range of subjects.

1 - Second General Artificial Intelligence Workshop (GAIW 2007).- Towards Tractable Local Closed World Reasoning for the Semantic Web.- Optimal Brain Surgeon for General Dynamic Neural Networks.- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems.- Application of Logic Wrappers to Hierarchical Data Extraction from HTML.- Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems.- Gödel and Computability.- Prospective Logic Agents.- An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers.- Modelling Morality with Prospective Logic.- Change Detection in Learning Histograms from Data Streams.- Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction.- Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering.- On the Use of Rough Sets for User Authentication Via Keystroke Dynamics.- The Halt Condition in Genetic Programming.- Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives.- 2 - First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007).- Nonlinear Models for Determining Mode Choice.- Adaptation in Games with Many Co-evolving Agents.- 3 - Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007).- Symmetry at the Genotypic Level and the Simple Inversion Operator.- A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem.- Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game.- Improving Evolutionary Algorithms with Scouting.- Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms.- Exploiting Second Order Information in Computational Multi-objectiveEvolutionary Optimization.- 4 - First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007).- Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective.- Ubiquitous Ambient Intelligence in a Flight Decision Assistance System.- Argumentation-Based Decision Making in Ambient Intelligence Environments.- Intelligent Mixed Reality for the Creation of Ambient Assisted Living.- Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display.- 5 - Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007).- Partial and Dynamic Ontology Mapping Model in Dialogs of Agents.- Using Ontologies for Software Development Knowledge Reuse.- 6 - First Workshop on Business Intelligence (BI 2007).- Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market.- A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System.- Experiments for the Number of Clusters in K-Means.- A Network Algorithm to Discover Sequential Patterns.- Adaptive Decision Support for Intensive Care.- A Tool for Interactive Subgroup Discovery Using Distribution Rules.- Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study.- Resource-Bounded Fraud Detection.- 7 - First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007).- System Stability Via Stepping Optimal Control: Theory and Applications.- Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains.- Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT.- 8 - Second Workshop on Intelligent Robotics (IROBOT 2007).- An Omnidirectional Vision System for Soccer Robots.- Generalization and Transfer Learning inNoise-Affected Robot Navigation Tasks.- Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation.- Human Robot Interaction Based on Bayesian Analysis of Human Movements.- Understanding Dynamic Agent's Reasoning.- 9 - Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007).- Convergence of Independent Adaptive Learners.- Multi-agent Learning: How to Interact to Improve Collective Results.- A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems.- Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization.- Tax Compliance Through MABS: The Case of Indirect Taxes.- 10 - First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007).- Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.- GRASPER.- 11 - Second Workshop on Text Mining and Applications (TEMA 2007).- Text Segmentation Using Context Overlap.- Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach.- N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus.- Detection of Strange and Wrong Automatic Part-of-Speech Tagging.- New Techniques for Relevant Word Ranking and Extraction.