Progress in Artificial Intelligence [electronic resource] : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings /

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.