Parceria:
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
XVII Simpósio Brasileiro de Inteligência Artificial - 2004 - São Luís, MA, Brasil
54 registros retornados
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
,
Angel 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
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
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
Vladia Pinheiro
,
Elizabeth Furtado
,
Vasco Furtado
.
A Unified Architecture to Develop Interactive Knowledge Based Systems
.  174 - 183
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
Reinaldo A. C. Bianchi
,
Carlos H. C. Ribeiro
,
Anna H. 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 Discover
.  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 R. de M. Queiroz
,
Francisco de A. T. de Carvalho
.
Making Collaborative Group Recommendations Based on Modal Symbolic Dat
.  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
Angelo 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 Leon Ferreira de Carvalho
.
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs
.  366 - 375
Joaquín Pérez
,
Rodolfo A. Pazos
,
Graciela Mora Guadalupe Castilla V.
,
José A. Martínez F.
,
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 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
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 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
Alessandro Almeida
,
Geber Ramalho
,
Hugo Santana
,
Patricia 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 Ramalho
,
Gustavo de Paula
,
Patricia 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
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
Biblioteca Digital Brasileira de Computação
Mantida por: