17. SBIA 2004:
São Luis,
Maranhão,
Brazil
Ana L. C. Bazzan, Sofiane Labidi (Eds.):
Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings.
Lecture Notes in Computer Science 3171 Springer 2004, ISBN 3-540-23237-0 BibTeX
Logics,
Planning,
and Theoretical Methods
- Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso:
On Modalities for Vague Notions.
1-10
Electronic Edition (link) BibTeX
- Marcelo Finger:
Towards Polynomial Approximations of Full Propositional Logic.
11-20
Electronic Edition (link) BibTeX
- Joselyto Riani, Renata Wassermann:
Using Relevance to Speed Up Inference. Some Empirical Results.
21-30
Electronic Edition (link) BibTeX
- Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
31-40
Electronic Edition (link) BibTeX
- Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo:
Reasoning About Requirements Evolution Using Clustered Belief Revision.
41-51
Electronic Edition (link) BibTeX
- Peep Küngas:
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach.
52-61
Electronic Edition (link) BibTeX
- Silvio do Lago Pereira, Leliane Nunes de Barros:
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.
62-72
Electronic Edition (link) BibTeX
- Silvio do Lago Pereira, Leliane Nunes de Barros:
High-Level Robot Programming: An Abductive Approach Using Event Calculus.
73-82
Electronic Edition (link) BibTeX
Search,
Reasoning,
and Uncertainty
Knowledge Representation and Ontologies
Natural Language Processing
- Helena de Medeiros Caseli, Aline Maria da Paz Silva, Maria das Graças Volpe Nunes:
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts.
184-193
Electronic Edition (link) BibTeX
- Marcirio Silveira Chaves, Vera Lúcia Strube de Lima:
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections.
194-203
Electronic Edition (link) BibTeX
- Fabrício Enembreck, Jean-Paul A. Barthès:
Dialog with a Personal Assistant.
204-213
Electronic Edition (link) BibTeX
- Valéria Delisandra Feltrim, Jorge Marques Pelizzoni, Simone Teufel, Maria das Graças Volpe Nunes, Sandra M. Aluísio:
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing.
214-223
Electronic Edition (link) BibTeX
- Thiago Alexandre Salgueiro Pardo, Maria das Graças Volpe Nunes, Lucia Helena Machado Rino:
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese.
224-234
Electronic Edition (link) BibTeX
- Lucia Helena Machado Rino, Thiago Alexandre Salgueiro Pardo, Carlos Nascimento Silla Jr., Celso A. A. Kaestner, Michael Pombo:
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese.
235-244
Electronic Edition (link) BibTeX
Machine Learning,
Knowledge Discovery,
and Data Mining
- Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa:
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning.
245-254
Electronic Edition (link) BibTeX
- Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros:
Using Concept Hierarchies in Knowledge Discovery.
255-265
Electronic Edition (link) BibTeX
- Francisco de A. T. de Carvalho, Renata M. C. R. de Souza, Fabio C. D. Silva:
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances.
266-275
Electronic Edition (link) BibTeX
- Jae-Woo Chang, Yong-Ki Kim:
An Efficient Clustering Method for High-Dimensional Data Mining.
276-285
Electronic Edition (link) BibTeX
- João Gama, Pedro Medas, Gladys Castillo, Pedro Pereira Rodrigues:
Learning with Drift Detection.
286-295
Electronic Edition (link) BibTeX
- Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Maria Carolina Monard:
Learning with Class Skews and Small Disjuncts.
296-306
Electronic Edition (link) BibTeX
- Sérgio R. de M. Queiroz, Francisco de A. T. de Carvalho:
Making Collaborative Group Recommendations Based on Modal Symbolic Data.
307-316
Electronic Edition (link) BibTeX
- Kate Revoredo, Gerson Zaverucha:
Search-Based Class Discretization for Hidden Markov Model for Regression.
317-325
Electronic Edition (link) BibTeX
- Marcelino Pereira dos Santos Silva, Jacques Robin:
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries.
326-335
Electronic Edition (link) BibTeX
Evolutionary Computation,
Artificial Life,
and Hybrid Systems
- Angelo Loula, Ricardo R. Gudwin, João Queiroz:
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life.
336-345
Electronic Edition (link) BibTeX
- Rui Mendes, José Neves:
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms.
346-355
Electronic Edition (link) BibTeX
- Ricardo Nastas Acras, Silvia Regina Vergilio:
Splinter: A Generic Framework for Evolving Modular Finite State Machines.
356-365
Electronic Edition (link) BibTeX
- Ana Carolina Lorena, André Carlos Ponce Leon Ferreira de Carvalho:
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs.
366-375
Electronic Edition (link) BibTeX
- Joaquí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:
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms.
376-384
Electronic Edition (link) BibTeX
- Alexandre César Muniz de Oliveira, Luiz Antonio Nogueira Lorena:
Detecting Promising Areas by Evolutionary Clustering Search.
385-394
Electronic Edition (link) BibTeX
- Sarajane Marques Peres, Márcio Luiz De Andrade Netto:
A Fractal Fuzzy Approach to Clustering Tendency Analysis.
395-404
Electronic Edition (link) BibTeX
- Martín Darío Safe, Jessica Andrea Carballido, Ignacio Ponzoni, Nélida Beatriz Brignole:
On Stopping Criteria for Genetic Algorithms.
405-413
Electronic Edition (link) BibTeX
- Pablo Alberto Dalbem de Castro, Heloisa de Arruda Camargo:
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules.
414-423
Electronic Edition (link) BibTeX
- Florentino Fernández Riverola, Fernando Díaz, Juan M. Corchado:
Using Rough Sets Theory and Minimum Description Length Principle to Improve a beta-TSK Fuzzy Revision Method for CBR Systems.
424-433
Electronic Edition (link) BibTeX
Robotics and Computer Vision
Autonomous Agents and Multi-agent Systems
- Alessandro Almeida, Geber Ramalho, Hugo Santana, Patricia Azevedo Tedesco, Talita Menezes, Vincent Corruble, Yann Chevaleyre:
Recent Advances on Multi-agent Patrolling.
474-483
Electronic Edition (link) BibTeX
- Eduardo Camponogara:
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games.
484-493
Electronic Edition (link) BibTeX
- Marc Esteva, Wamberto Weber Vasconcelos, Carles Sierra, Juan A. Rodríguez-Aguilar:
Norm Consistency in Electronic Institutions.
494-505
Electronic Edition (link) BibTeX
- Jomi Fred Hübner, Jaime Simão Sichman, Olivier Boissier:
Using the Moise+ for a Cooperative Framework of MAS Reorganisation.
506-515
Electronic Edition (link) BibTeX
- Fabiano M. Hasegawa, Bráulio Coelho Ávila, Marcos Augusto Hochuli Shmeil:
A Paraconsistent Approach for Offer Evaluation in Negotiations.
516-525
Electronic Edition (link) BibTeX
- Orlando Pinho Jr., Geber Ramalho, Gustavo de Paula, Patricia Azevedo Tedesco:
Sequential Bilateral Negotiation.
526-535
Electronic Edition (link) BibTeX
- Andreia Malucelli, Eugénio C. Oliveira:
Towards to Similarity Identification to Help in the Agents' Negotiation.
536-546
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:50 2009
by Michael Ley (ley@uni-trier.de)
