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)

Experiments with CST-based Multidocument Summarization.
Maria Jorge (Universidade de São Paulo), Thiago Pardo (Universidade de São Paulo)

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

Fast Online Anomaly Detection using Scan Statistics.
Ryan Turner (University of Cambridge),  Steven Bottone (Rockwell Collins)

Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves.
Douglas Macharet (Universidade Federal De Minas Gerais), Armando Neto (Universidade Federal de Minas Gerais), Mario Fernando 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)

Self-Adaptive Semantic Crossover for Genetic Programming.
Julio Stern (IME-USP), Rafael Inhasz (IME-USP)

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)