Advances in Artificial Intelligence - SBIA 2008

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008.

The 27 revised full papers presented together with 3 invited lectures and 3 tutorials were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning, machine learning and data mining, natural language processing, and robotics.

Inhalt

Invited Papers.- Logical and Relational Learning.- Transfer Learning by Mapping and Revising Relational Knowledge.- Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist.- Tutorials.- Logic, Probability and Learning, or an Introduction to Statistical Relational Learning.- Text Mining.- From ILP to PILP.- Computer Vision and Pattern Recognition.- Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications.- Multi-Dimensional Dynamic Time Warping for Image Texture Similarity.- Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation.- Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis.- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory.- Enhancing the Interaction between Agents and Users.- Re-routing Agents in an Abstract Traffic Scenario.- A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm.- An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker.- Individual and Social Behaviour in the IPA Market with RL.- Optimizing Preferences within Groups: A Case Study on Travel Recommendation.- Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems.- Probabilistic Multiagent Patrolling.- Knowledge Representation and Reasoning.- Proving Epistemic and Temporal Properties from Knowledge Based Programs.- Detecting Code Evolution in Programming Learning.- Revising Specifications with CTL Properties Using Bounded Model Checking.- Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.- A Case for Numerical Taxonomy in Case-Based Reasoning.- Methodical Construction of Symbolic Diagrams.- Machine Learning and Data Mining.- Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis.- Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data.- Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach.- A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function.- A Robust Methodology for Comparing Performances of Clustering Validity Criteria.- Natural Language Processing.- An Experiment in Spanish-Portuguese Statistical Machine Translation.- On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation.- Robotics.- Experiments in the Coordination of Large Groups of Robots.- Evolving an Artificial Homeostatic System.