6. LAPTEC 2007: Santos, Brazil

Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho, Helga Gonzaga Martins (Eds.): Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007. Frontiers in Artificial Intelligence and Applications 186 IOS Press 2009, ISBN 978-1-58603-936-3 BibTeX

Isabel Cafezeiro, Edward Hermann Haeusler:
Algebraic Framework for Reverse Engineering on Specifications. 1-12
Electronic Edition (link) BibTeX
Ricardo Luis de Azevedo da Rocha:
An Attempt to Express the Semantics of the Adaptive Devices. 13-27
Electronic Edition (link) BibTeX
Silvia Rissino, Germano Lambert-Torres, Helga Gonzaga Martins:
Temporal Logic Applied in Information Systems. 28-54
Electronic Edition (link) BibTeX
Alexandre Erwin Ittner, Claudio Cesar de Sá, Fernando Deeke Sasse:
A Heuristic Approach to the Cable Routing Problem in Electrical Panels. 55-66
Electronic Edition (link) BibTeX
Héctor Rafael Orozco, Félix Ramos, Jaime Zaragoza, Daniel Thalmann:
Avatars Animation using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments. 67-84
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Jaime Zaragoza, Félix Ramos, Héctor Rafael Orozco, Véronique Gaildrat:
Creation of Virtual Environments through Knowledge-Aid Declarative Modeling. 114-132
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Luiz Lenarth Gabriel Vermaas, Leonardo de Mello Honório, Edison Oliveira de Jesus, Muriell Freire, Daniele A. Barbosa:
Intelligent Vehicle Survey and Applications. 205-235
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX