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