6. LAPTEC 2007: Santos, Brazil

• Isabel Cafezeiro, Edward Hermann Haeusler:
  Algebraic Framework for Reverse Engineering on Specifications. 1-12
  
• Ricardo Luis de Azevedo da Rocha:
  An Attempt to Express the Semantics of the Adaptive Devices. 13-27
  
• Silvia Rissino, Germano Lambert-Torres, Helga Gonzaga Martins:
  Temporal Logic Applied in Information Systems. 28-54
  
• Alexandre Erwin Ittner, Claudio Cesar de Sá, Fernando Deeke Sasse:
  A Heuristic Approach to the Cable Routing Problem in Electrical Panels. 55-66
  
• Héctor Rafael Orozco, Félix Ramos, Jaime Zaragoza, Daniel Thalmann:
  Avatars Animation using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments. 67-84
  
• Helga Gonzaga Martins, Carlos Henrique Valério de Moraes, Claudio Inácio de Almeida Costa, Germano Lambert-Torres, Antônio Faria Neto:
  Annotated Paraconsistent Logic. 85-113
  
• Jaime Zaragoza, Félix Ramos, Héctor Rafael Orozco, Véronique Gaildrat:
  Creation of Virtual Environments through Knowledge-Aid Declarative Modeling. 114-132
  
• Gina M. B. Oliveira, José C. Bortot, Pedro P. B. de Oliveira:
  Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the Rules. 133-159
  
• João Inácio da Silva Filho, Alexandre Rocco, Maurício C. Mário, Luís Fernando Pompeo Ferrara:
  Paraconsistent Logic Applied in Expert System for Support in Electric Transmission System Re-establishment. 160-179
  
• Fabiano de Sant'Ana dos Santos, Neli Regina Siqueira Ortega, Dirce Maria Trevisan Zanetta, Eduardo Massad:
  Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity. 180-193
  
• Celso Cavellucci, Christiano Lyra, José Federico Vizcaino González, Edilson A. Bueno:
  Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems. 194-204
  
• Luiz Lenarth Gabriel Vermaas, Leonardo de Mello Honório, Edison Oliveira de Jesus, Muriel Freire, Daniele A. Barbosa:
  Intelligent Vehicle Survey and Applications. 205-235
  
• Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, João Inácio da Silva Filho, Helga Gonzaga Martins:
  Paraconsistent Autonomous Mobile Robot Emmy III. 236-258
  
• Hernán Prieto Schmidt, Nelson Kagan, Leandro Rodrigues Barbosa, Henrique Kagan, Carlos Alexandre de Sousa Penin, Alden Uehara Antunes, Waldmir Sybine, Tânia Paula Ledesma Arango, Carlos César Barioni de Oliveira, Sílvio Baldan, M. Martins:
  Software Development for Underground and Overhead Distribution System Design. 259-269
  
• Adriano Galindo Leal, Jose Antonio Jardini, Se Un Ahn:
  Distribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation. 270-284