Table of Contents

• On Modalities for Vague NotionsMario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso. 1-10 [doi]
• Towards Polynomial Approximations of Full Propositional LogicMarcelo Finger. 11-20 [doi]
• Using Relevance to Speed Up Inference. Some Empirical ResultsJoselyto Riani, Renata Wassermann. 21-30 [doi]
• A Non-explosive Treatment of Functional Dependencies Using Rewriting LogicGabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán. 31-40 [doi]
• Reasoning About Requirements Evolution Using Clustered Belief RevisionOdinaldo Rodrigues, Artur S. d Avila Garcez, Alessandra Russo. 41-51 [doi]
• Analysing AI Planning Problems in Linear Logic - A Partial Deduction ApproachPeep Küngas. 52-61 [doi]
• Planning with Abduction: A Logical Framework to Explore Extensions to Classical PlanningSilvio do Lago Pereira, Leliane Nunes de Barros. 62-72 [doi]
• High-Level Robot Programming: An Abductive Approach Using Event CalculusSilvio do Lago Pereira, Leliane Nunes de Barros. 73-82 [doi]
• Word Equation Systems: The Heuristic ApproachCésar Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña. 83-92 [doi]
• A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global OptimisationCarlos Castro, Michael Moossen, María-Cristina Riff. 93-102 [doi]
• Machine Learned Heuristics to Improve Constraint SatisfactionMarco Correia, Pedro Barahona. 103-113 [doi]
• Towards a Natural Way of ReasoningJosé Carlos Loureiro Ralha, Célia Ghedini Ralha. 114-123 [doi]
• Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno. 124-133 [doi]
• Paraconsistent Sensitivity Analysis for Bayesian Significance TestsJulio Michael Stern. 134-143 [doi]
• An Ontology for Quantities in EcologyVirgínia V. B. Biris Brilhante. 144-153 [doi]
• Using Color to Help in the Interactive Concept Formation.Vasco Furtado, Alexandre Cavalcante. 154-163 [doi]
• Propositional Reasoning for an Embodied Cognitive ModelJerusa Marchi, Guilherme Bittencourt. 164-173 [doi]
• A Unified Architecture to Develop Interactive Knowledge Based SystemsVladia Pinheiro, Elizabeth Furtado, Vasco Furtado. 174-183 [doi]
• Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel TextsHelena de Medeiros Caseli, Aline Maria da Paz Silva, Maria das Graças Volpe Nunes. 184-193 [doi]
• Applying a Lexical Similarity Measure to Compare Portuguese Term CollectionsMarcirio Silveira Chaves, Vera Lúcia Strube de Lima. 194-203 [doi]
• Dialog with a Personal AssistantFabrício Enembreck, Jean-Paul A. Barthès. 204-213 [doi]
• Applying Argumentative Zoning in an Automatic Critiquer of Academic WritingValéria Delisandra Feltrim, Jorge Marques Pelizzoni, Simone Teufel, Maria das Graças Volpe Nunes, Sandra M. Aluísio. 214-223 [doi]
• DiZer: An Automatic Discourse Analyzer for Brazilian PortugueseThiago Alexandre Salgueiro Pardo, Maria das Graças Volpe Nunes, Lucia Helena Machado Rino. 224-234 [doi]
• A Comparison of Automatic Summarizers of Texts in Brazilian PortugueseLucia Helena Machado Rino, Thiago Alexandre Salgueiro Pardo, Carlos Nascimento Silla Jr., Celso A. A. Kaestner, Michael Pombo. 235-244 [doi]
• Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement LearningReinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa. 245-254 [doi]
• Using Concept Hierarchies in Knowledge DiscoveryMarco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros. 255-265 [doi]
• A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev DistancesFrancisco de A. T. de Carvalho, Renata M. C. R. de Souza, Fabio C. D. Silva. 266-275 [doi]
• An Efficient Clustering Method for High-Dimensional Data MiningJae-Woo Chang, Yong-Ki Kim. 276-285 [doi]
• Learning with Drift DetectionJoão Gama, Pedro Medas, Gladys Castillo, Pedro Pereira Rodrigues. 286-295 [doi]
• Learning with Class Skews and Small DisjunctsRonaldo C. Prati, Gustavo E. A. P. A. Batista, Maria Carolina Monard. 296-306 [doi]
• Making Collaborative Group Recommendations Based on Modal Symbolic DataSérgio R. de M. Queiroz, Francisco de A. T. de Carvalho. 307-316 [doi]
• Search-Based Class Discretization for Hidden Markov Model for RegressionKate Revoredo, Gerson Zaverucha. 317-325 [doi]
• SKDQL: A Structured Language to Specify Knowledge Discovery Processes and QueriesMarcelino Pereira dos Santos Silva, Jacques Robin. 326-335 [doi]
• Symbolic Communication in Artificial Creatures: An Experiment in Artificial LifeAngelo Loula, Ricardo R. Gudwin, João Queiroz. 336-345 [doi]
• What Makes a Successful Society? Experiments with Population Topologies in Particle SwarmsRui Mendes, José Neves. 346-355 [doi]
• Splinter: A Generic Framework for Evolving Modular Finite State MachinesRicardo Nastas Acras, Silvia Regina Vergilio. 356-365 [doi]
• An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic GraphsAna Carolina Lorena, André Carlos Ponce Leon Ferreira de Carvalho. 366-375 [doi]
• Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic AlgorithmsJoaquín Pérez, Rodolfo A. Pazos, Graciela Mora Guadalupe Castilla V., José A. Martínez Flores, Vanesa Landero N., Héctor J. Fraire H., Juan Javier González Barbosa. 376-384 [doi]
• Detecting Promising Areas by Evolutionary Clustering SearchAlexandre César Muniz de Oliveira, Luiz Antonio Nogueira Lorena. 385-394 [doi]
• A Fractal Fuzzy Approach to Clustering Tendency AnalysisSarajane Marques Peres, Márcio Luiz De Andrade Netto. 395-404 [doi]
• On Stopping Criteria for Genetic AlgorithmsMartín Darío Safe, Jessica Andrea Carballido, Ignacio Ponzoni, Nélida Beatriz Brignole. 405-413 [doi]
• A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy RulesPablo Alberto Dalbem de Castro, Heloisa de Arruda Camargo. 414-423 [doi]
• Using Rough Sets Theory and Minimum Description Length Principle to Improve a beta-TSK Fuzzy Revision Method for CBR SystemsFlorentino Fernández Riverola, Fernando Díaz, Juan M. Corchado. 424-433 [doi]
• Forgetting and Fatigue in Mobile Robot NavigationLuís Correia, António Abreu. 434-443 [doi]
• Texture Classification Using the Lempel-Ziv-Welch AlgorithmLeonardo Vidal Batista, Moab Mariz Meira. 444-453 [doi]
• A Clustering-Based Possibilistic Method for Image ClassificationIsabela Drummond, Sandra Sandri. 454-463 [doi]
• An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary ResultsHemerson Pistori, João José Neto. 464-473 [doi]
• Recent Advances on Multi-agent PatrollingAlessandro Almeida, Geber Ramalho, Hugo Santana, Patricia Azevedo Tedesco, Talita Menezes, Vincent Corruble, Yann Chevaleyre. 474-483 [doi]
• On the Convergence to and Location of Attractors of Uncertain, Dynamic GamesEduardo Camponogara. 484-493 [doi]
• Norm Consistency in Electronic InstitutionsMarc Esteva, Wamberto Weber Vasconcelos, Carles Sierra, Juan A. Rodríguez-Aguilar. 494-505 [doi]
• Using the Moise+ for a Cooperative Framework of MAS ReorganisationJomi Fred Hübner, Jaime Simão Sichman, Olivier Boissier. 506-515 [doi]
• A Paraconsistent Approach for Offer Evaluation in NegotiationsFabiano M. Hasegawa, Bráulio Coelho Ávila, Marcos Augusto Hochuli Shmeil. 516-525 [doi]
• Sequential Bilateral NegotiationOrlando Pinho Jr., Geber Ramalho, Gustavo de Paula, Patricia Azevedo Tedesco. 526-535 [doi]
• Towards to Similarity Identification to Help in the Agents NegotiationAndreia Malucelli, Eugénio C. Oliveira. 536-546 [doi]