SBIA Instructions for Author's Presentation
All papers must be presented by one author in a oral presentation session.
The event will provide a computer with windows installed. Each paper will have
20 minutes of presentation and 10 minutes of discussion. Please, prepare a slide show considering the time available. All files must be copied to the computer minutes before the session begins.















SBIA Accepted Papers


Tuesday, May 25th 2010


Publication Policy
It is the conference policy that at least one of the authors of accepted papers has to register as FULL REGISTRATION *before* the deadline for sending the camera-ready paper. Accepted papers without the respective author registration *before* the deadline will not be included in the proceedings.

Accepted Papers:

A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Based on Terrain Elevation.   
Felipe Medeiros (Instituto de Estudos Avançados - IEAv)

A Logic for Conceptual Hierarchies.  
Norihiro Kamide (Waseda University)

A Proof System for Temporal Reasoning with Sequential Information.
Norihiro Kamide (Waseda University)

A Refuted Conjecture on Probabilistic Satisfiability.
Marcelo Finger (Universidade de São Paulo), Glauber De Bona (University of São Paulo)

A Semi-Automatic Method for Ontology Extraction from Portuguese Language Wikipedia's Categories. 
Clarissa Xavier (PUCRS),  Vera Lúcia Strube de Lima (PUCRS)

A Sequent Calculus for 3-Dimensional Space.  
Norihiro Kamide (Waseda University)

A Survey and Classification of A* based Best-First Heuristic Search Algorithms.
Luis Henrique Oliveira Rios (Universidade Federal de Minas Gerais), Luiz Chaimowicz (Universidade Federal de Minas Gerais)

An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties. Fabio Fernandes Ribeiro (Centro Federal de Educacao Tecnologica de Minas Gerais / CEFET-MG), Marcone Jamilson Souza (Universidade Federal de Ouro Preto (UFOP), Sérgio Souza (CEFET-MG)

Bayesian Network Structure Inference with an Hierarchical Bayesian Model.
Adriano Werhli (Universidade Federal do Rio Grande)

Developing a Conscious-based Mind for an Artificial Creature.
Ricardo Capitanio Martins da Silva (DCA-FEEC-UNICAMP), Ricardo Gudwin (UNICAMP)

Factored Translation between Brazilian Portuguese and English.
Helena Caseli (Federal University of São Carlos), Israel Nunes (Federal University of São Carlos)

Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves.
Douglas Guimarães Macharet (Universidade Federal De Minas Gerais), Armando Neto (Universidade Federal de Minas Gerais), Mario Fernando Montenegro Campos (UFMG)

High-Level Modeling of Component-based CSPs.
Raphael Chenouard (IRCCYN, Ecole Centrale de Nantes, France), Laurent Granvilliers (University of Nantes), Ricardo Soto (University of Nantes)

Implementing Normative Agents by Using Jason.
Baldoino Neto (PUC-Rio), Viviane Torres da Silva (Universidade Federal Fluminense), Carlos Lucena (PUC-Rio)

Improving the Distributed Constraint Optimization Using Social Network Analysis.
Allan Leite (Universidade Católina do Paraná), André P. Borges (Pontifical Catholic University of Paraná), Laercio Carpes (Pontifical Catholic University of Paraná), Fabrício Enembreck (Pontifical Catholic University of Paraná - PUCPR)

Improving Space Representation in Multiagent Learning via Tile Coding.
Samuel Waskow (UFRGS), Ana Bazzan (UFRGS)

Incremental Learning of Multivariate Gaussian Mixture Models.
Paulo Engel (UFRGS), Milton Heinen (Universidade Federal do Rio Grande do Sul)

Intuicionistic Fuzzy Probability.
Claudilene da Costa (Universidade Federal da Paraiba),Benjamin Bedregal (UFRN), Adrião Duarte Dória Neto (Universidade Federal do Rio Grande do Norte)

Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams.
Cleverton Borba (Universidade Metodista de Piracicaba), Ana Estela Antunes Silva (UNIMEP)

Learning Terminologies in Probabilistic Description Logics.
Kate Revoredo (Federal University of State of Rio de Janeiro), José Eduardo Ochoa Luna (São Paulo university), Fábio Cozman (USP - Politécnica)

Markov decision processes from colored Petri nets.
Monica Eboli (Escola Politécnica da Universidade de São Paulo)

On the Construction of Synthetic Characters with Personality and Emotion.
Ary Bressane Neto (University of São Paulo),
Flávio Soares Corrêa da Silva (Universidade de São Paulo)

Ontological Primitives for Visual Knowledge.
Alexandre Lorenzatti (Universidade Federal do Rio Grande do Sul), Mara Abel (Universidade Federal do Rio Grande do Sul),Sandro Fiorini (Universidade Federal do Rio Grande do Sul), Ariane Bernardes (Universidade Federal do Rio Grande do Sul), Claiton Marlon dos Santos Scherer (Universidade Federal do Rio Grande do Sul)

Ontology Reasoning in Agent-Oriented Programming.
Claudio Fuzitaki (UFRGS), Álvaro Moreira (UFRGS), Renata Vieira (PUCRS)

Planning for Multi-Robot Localization.
Paulo Pinheiro (University of Campinas), Jacques Wainer (Universidade Estadual de Campinas)

Question Answering for Portuguese: how much is needed?
Rodrigo Wilkens (UFRGS), Aline Villavicencio (Federal University of Rio Grande do Sul)

Semantic Mapping with a Probabilistic Description Logic.
Rodrigo Polastro (Universidade de Sao Paulo), Fábio Cozman (USP - Politécnica), Fabiano Correa (Escola Politécnica da Universidade de São Paulo), Jun Okamoto (USP)

Simulating the emergence of social relationships networks in groups of believable agents: the X-BARIM model.
Pablo Barbosa (Universidade Federal de Pernambuco),Danielle Rousy Silva (Universidade Federal de Pernambuco),Patrícia Tedesco (Centro de Informática - UFPE),Geber Ramalho (Universidade Federal de Pernambuco)

Symbolic Bounded Real-time Dynamic Programming.
Karina Valdivia-Delgado (University of São Paulo),Cheng Fang (University of Sydney),Scott Sanner (National ICT Australia),Leliane Nunes de Barros (University of São Paulo)

System Design Modification with Actions.
Maria Viviane Menezes (University of Sao Paulo), Leliane Nunes de Barros (University of São Paulo),
Silvio Pereira (Faculdade de Tecnologia de São Paulo / CEETEPS)

Towards automated trading based on fundamentalist and technical data.
Paulo Andre Castro (ITA), Carlos Dejavite (ITA)




São Bernardo do Campo - SP

OCTOBER 23-28, 2010