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

Matthias Knorr, José Júlio Alferes, Pascal Hitzler (auth.), José Neves, Manuel Filipe Santos, José Manuel Machado (eds.)3540770003, 9783540770008

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 general artificial intelligence (GAIW 2007), AI applications for sustainable transportation systems (AIASTS 2007), artificial life and evolutionary algorithms (ALEA 2007), ambient intelligence technologies and applications (AMITA 2007), building and applying ontologies for the semantic Web (BAOSW 2007), business intelligence (BI 2007), computational methods in bioinformatics and systems biology (CMBSB 2007), intelligent robotics (IROBOT 2007), multi-agent systems: theory and applications (MASTA 2007), search techniques for constraint satisfaction (STCS 2007), and text mining and applications (TEMA 2007).

---

Table of contents :
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 –