Progress in Artificial Intelligence

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.