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

Front Matter....Pages -
Front Matter....Pages 1-1
Towards Tractable Local Closed World Reasoning for the Semantic Web....Pages 3-14
Optimal Brain Surgeon for General Dynamic Neural Networks....Pages 15-28
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems....Pages 29-42
Application of Logic Wrappers to Hierarchical Data Extraction from HTML....Pages 43-52
Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems....Pages 53-62
Gödel and Computability....Pages 63-72
Prospective Logic Agents....Pages 73-86
An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers....Pages 87-98
Modelling Morality with Prospective Logic....Pages 99-111
Change Detection in Learning Histograms from Data Streams....Pages 112-123
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction....Pages 124-132
Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering....Pages 133-144
On the Use of Rough Sets for User Authentication Via Keystroke Dynamics....Pages 145-159
The Halt Condition in Genetic Programming....Pages 160-169
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives....Pages 170-180
Front Matter....Pages 181-181
Nonlinear Models for Determining Mode Choice....Pages 183-194
Adaptation in Games with Many Co-evolving Agents....Pages 195-206
Front Matter....Pages 207-207
Symmetry at the Genotypic Level and the Simple Inversion Operator....Pages 209-222
A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem....Pages 223-234
Asynchronous Stochastic Dynamics and the Spatial Prisoner’s Dilemma Game....Pages 235-246
Front Matter....Pages 207-207
Improving Evolutionary Algorithms with Scouting....Pages 247-258
Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms....Pages 259-270
Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization....Pages 271-282
Front Matter....Pages 283-283
Ambient Intelligence – A State of the Art from Artificial Intelligence Perspective....Pages 285-295
Ubiquitous Ambient Intelligence in a Flight Decision Assistance System....Pages 296-308
Argumentation-Based Decision Making in Ambient Intelligence Environments....Pages 309-322
Intelligent Mixed Reality for the Creation of Ambient Assisted Living....Pages 323-331
Medical Imaging Environment – A Multi-Agent System for a Computer Clustering Based Multi-display....Pages 332-343
Front Matter....Pages 345-345
Partial and Dynamic Ontology Mapping Model in Dialogs of Agents....Pages 347-356
Using Ontologies for Software Development Knowledge Reuse....Pages 357-368
Front Matter....Pages 369-369
Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market....Pages 371-382
A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System....Pages 383-394
Experiments for the Number of Clusters in K-Means....Pages 395-405
A Network Algorithm to Discover Sequential Patterns....Pages 406-414
Adaptive Decision Support for Intensive Care....Pages 415-425
A Tool for Interactive Subgroup Discovery Using Distribution Rules....Pages 426-436
Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study....Pages 437-448
Resource-Bounded Fraud Detection....Pages 449-460
Front Matter....Pages 461-461
System Stability Via Stepping Optimal Control: Theory and Applications....Pages 463-472
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains....Pages 473-484
Front Matter....Pages 461-461
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT....Pages 485-496
Front Matter....Pages 497-497
An Omnidirectional Vision System for Soccer Robots....Pages 499-507
Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks....Pages 508-519
Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation....Pages 520-529
Human Robot Interaction Based on Bayesian Analysis of Human Movements....Pages 530-541
Understanding Dynamic Agent’s Reasoning....Pages 542-551
Front Matter....Pages 553-553
Convergence of Independent Adaptive Learners....Pages 555-567
Multi-agent Learning: How to Interact to Improve Collective Results....Pages 568-579
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems....Pages 580-592
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization....Pages 593-604
Tax Compliance Through MABS: The Case of Indirect Taxes....Pages 605-617
Front Matter....Pages 619-619
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection....Pages 621-632
GRASPER....Pages 633-644
Front Matter....Pages 645-645
Text Segmentation Using Context Overlap....Pages 647-658
Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach....Pages 659-670
N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus....Pages 671-682
Detection of Strange and Wrong Automatic Part-of-Speech Tagging....Pages 683-690
New Techniques for Relevant Word Ranking and Extraction....Pages 691-702
Back Matter....Pages -