


default search action
17. SBIA 2004: São Luis, Maranhão, Brazil
- Ana L. C. Bazzan, Sofiane Labidi:

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
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 - Marcelo Finger:

Towards Polynomial Approximations of Full Propositional Logic. 11-20 - Joselyto Riani, Renata Wassermann

:
Using Relevance to Speed Up Inference. Some Empirical Results. 21-30 - Gabriel Aguilera

, Pablo Cordero, Manuel Enciso
, Ángel Mora, Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. 31-40 - Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo

:
Reasoning About Requirements Evolution Using Clustered Belief Revision. 41-51 - Peep Küngas:

Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach. 52-61 - Silvio do Lago Pereira, Leliane Nunes de Barros:

Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. 62-72 - Silvio do Lago Pereira, Leliane Nunes de Barros:

High-Level Robot Programming: An Abductive Approach Using Event Calculus. 73-82
Search, Reasoning, and Uncertainty
- César Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña

:
Word Equation Systems: The Heuristic Approach. 83-92 - Carlos Castro, Michael Moossen, María Cristina Riff:

A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation. 93-102 - Marco Correia, Pedro Barahona:

Machine Learned Heuristics to Improve Constraint Satisfaction. 103-113 - José Carlos Loureiro Ralha, Célia Ghedini Ralha

:
Towards a Natural Way of Reasoning. 114-123 - Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno:

Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? 124-133 - Julio Michael Stern:

Paraconsistent Sensitivity Analysis for Bayesian Significance Tests. 134-143
Knowledge Representation and Ontologies
- Virgínia V. B. Biris Brilhante:

An Ontology for Quantities in Ecology. 144-153 - Vasco Furtado, Alexandre Cavalcante:

Using Color to Help in the Interactive Concept Formation.. 154-163 - Jerusa Marchi

, Guilherme Bittencourt:
Propositional Reasoning for an Embodied Cognitive Model. 164-173 - Vládia Pinheiro, Elizabeth Furtado, Vasco Furtado:

A Unified Architecture to Develop Interactive Knowledge Based Systems. 174-183
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 - Marcirio Silveira Chaves, Vera Lúcia Strube de Lima:

Applying a Lexical Similarity Measure to Compare Portuguese Term Collections. 194-203 - Fabrício Enembreck, Jean-Paul A. Barthès:

Dialog with a Personal Assistant. 204-213 - 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 - Thiago Alexandre Salgueiro Pardo, Maria das Graças Volpe Nunes, Lucia Helena Machado Rino:

DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese. 224-234 - 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
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 - Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros:

Using Concept Hierarchies in Knowledge Discovery. 255-265 - 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 - Jae-Woo Chang, Yong-Ki Kim:

An Efficient Clustering Method for High-Dimensional Data Mining. 276-285 - João Gama

, Pedro Medas, Gladys Castillo, Pedro Pereira Rodrigues
:
Learning with Drift Detection. 286-295 - Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Maria Carolina Monard:

Learning with Class Skews and Small Disjuncts. 296-306 - Sérgio Ricardo de Melo Queiroz, Francisco de A. T. de Carvalho:

Making Collaborative Group Recommendations Based on Modal Symbolic Data. 307-316 - Kate Revoredo

, Gerson Zaverucha:
Search-Based Class Discretization for Hidden Markov Model for Regression. 317-325 - Marcelino Pereira dos Santos Silva, Jacques Robin:

SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries. 326-335
Evolutionary Computation, Artificial Life, and Hybrid Systems
- Angelo C. Loula

, Ricardo R. Gudwin
, João Queiroz:
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life. 336-345 - Rui Mendes, José Neves:

What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms. 346-355 - Ricardo Nastas Acras, Silvia Regina Vergilio:

Splinter: A Generic Framework for Evolving Modular Finite State Machines. 356-365 - Ana Carolina Lorena, André Carlos Ponce de Leon Ferreira de Carvalho

:
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs. 366-375 - Joaquín Pérez Ortega, Rodolfo A. Pazos Rangel, Graciela Mora Guadalupe Castilla V., José Antonio 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 - Alexandre César Muniz de Oliveira, Luiz Antonio Nogueira Lorena

:
Detecting Promising Areas by Evolutionary Clustering Search. 385-394 - Sarajane Marques Peres

, Márcio Luiz De Andrade Netto:
A Fractal Fuzzy Approach to Clustering Tendency Analysis. 395-404 - Martín Darío Safe, Jessica Andrea Carballido

, Ignacio Ponzoni, Nélida Beatriz Brignole:
On Stopping Criteria for Genetic Algorithms. 405-413 - 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 - 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
Robotics and Computer Vision
- Luís Correia, António Abreu:

Forgetting and Fatigue in Mobile Robot Navigation. 434-443 - Leonardo Vidal Batista, Moab Mariz Meira:

Texture Classification Using the Lempel-Ziv-Welch Algorithm. 444-453 - Isabela Drummond, Sandra A. Sandri:

A Clustering-Based Possibilistic Method for Image Classification. 454-463 - Hemerson Pistori, João José Neto:

An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results. 464-473
Autonomous Agents and Multi-agent Systems
- Alessandro Almeida, Geber L. Ramalho, Hugo Santana, Patrícia Azevedo Tedesco, Talita Menezes, Vincent Corruble, Yann Chevaleyre:

Recent Advances on Multi-agent Patrolling. 474-483 - Eduardo Camponogara

:
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games. 484-493 - Marc Esteva, Wamberto Weber Vasconcelos, Carles Sierra, Juan A. Rodríguez-Aguilar

:
Norm Consistency in Electronic Institutions. 494-505 - Jomi Fred Hübner

, Jaime Simão Sichman, Olivier Boissier
:
Using the Moise+ for a Cooperative Framework of MAS Reorganisation. 506-515 - Fabiano M. Hasegawa, Bráulio Coelho Ávila, Marcos Augusto Hochuli Shmeil:

A Paraconsistent Approach for Offer Evaluation in Negotiations. 516-525 - Orlando Pinho Jr., Geber L. Ramalho, Gustavo de Paula, Patrícia Azevedo Tedesco:

Sequential Bilateral Negotiation. 526-535 - Andreia Malucelli, Eugénio C. Oliveira

:
Towards to Similarity Identification to Help in the Agents' Negotiation. 536-546

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














