Advances in Artificial Intelligence - SBIA 2008: 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

Front Matter....Pages -
Logical and Relational Learning....Pages 1-1
Transfer Learning by Mapping and Revising Relational Knowledge....Pages 2-3
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist....Pages 4-4
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning....Pages 5-5
Text Mining....Pages 6-6
From ILP to PILP....Pages 7-7
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications....Pages 8-22
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity....Pages 23-32
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation....Pages 33-42
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis....Pages 43-52
Enhancing the Interaction between Agents and Users....Pages 53-62
Re-routing Agents in an Abstract Traffic Scenario....Pages 63-72
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm....Pages 73-82
An Experimental Approach to Online Opponent Modeling in Texas Hold’em Poker....Pages 83-92
Individual and Social Behaviour in the IPA Market with RL....Pages 93-102
Optimizing Preferences within Groups: A Case Study on Travel Recommendation....Pages 103-112
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems....Pages 113-123
Probabilistic Multiagent Patrolling....Pages 124-133
Proving Epistemic and Temporal Properties from Knowledge Based Programs....Pages 134-144
Detecting Code Evolution in Programming Learning....Pages 145-156
Revising Specifications with CTL Properties Using Bounded Model Checking....Pages 157-166
Toward Short and Structural $\\mathcal{ALC}$ -Reasoning Explanations: A Sequent Calculus Approach....Pages 167-176
A Case for Numerical Taxonomy in Case-Based Reasoning....Pages 177-186
Methodical Construction of Symbolic Diagrams....Pages 187-196
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis....Pages 197-206
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data....Pages 207-216
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach....Pages 217-226
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function....Pages 227-236
A Robust Methodology for Comparing Performances of Clustering Validity Criteria....Pages 237-247
An Experiment in Spanish-Portuguese Statistical Machine Translation....Pages 248-257
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation....Pages 258-267
Experiments in the Coordination of Large Groups of Robots....Pages 268-277
Evolving an Artificial Homeostatic System....Pages 278-288
Back Matter....Pages -