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
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
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
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
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
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.
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
A Fractal Fuzzy Approach to Clustering Tendency Analysis. 395-404 - Martín Darío Safe, Jessica Andrea Carballido
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
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.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: