15. SBIA / 7. IBERAMIA 2000: Atibaia, SP, Brazil

@proceedings{DBLP:conf/sbia/2000,
  editor    = {Maria Carolina Monard and
               Jaime Sim{\~a}o Sichman},
  title     = {Advances in Artificial Intelligence, International Joint Conference,
               7th Ibero-American Conference on AI, 15th Brazilian Symposium
               on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22,
               2000, Proceedings},
  booktitle = {IBERAMIA-SBIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1952},
  year      = {2000},
  isbn      = {3-540-41276-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Sholom M. Weiss, Nitin Indurkhya:
  Decision-Rule Solutions for Data Mining with Missing Values. 1-10
  
• Barbara J. Grosz:
  Getting Computer Systems to Function as Team Players. 11
  

Knowledge Engineering and Case Based Reasoning

• Christiane Gresse von Wangenheim, Marcos R. Rodrigues:
  Case-Based Management of Software Engineering Experienceware. 12-22
  
• Flavio Tonidandel, Marcio Rillo:
  Handling Cases and the Coverage in a Limited Quantity of Memory for Case-Based Planning Systems. 23-32
  
• Alneu de Andrade Lopes, Alípio Jorge:
  Integrating Rules and Cases in Learning via Case Explanation and Paradigm Shift. 33-42
  
• Daniela Godoy, Analía Amandi:
  PersonalSearcher: An Intelligent Agent for Searching Web Pages. 43-52
  
• Carlos Santos da Figueira Filho, Geber Ramalho:
  JEOPS - The Java Embedded Object Production System. 53-62
  

Planning and Scheduling

• Nodari Vakhania:
  Global and Local Search for Scheduling Job Shop with Parallel Machines. 63-75
  
• Gabriela P. Henning:
  Knowledge-Based Interactive Scheduling of Multiproduct Batch Plants. 76-85
  
• Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle:
  Petriplan: A New Algorithm for Plan Generation (Preliminary Report). 86-95
  

Distributed AI and Multi-agent Systems

• Henrique Lopes Cardoso, Eugenio Oliveira:
  Using and Evaluating Adaptive Agents for Electronic Commerce Negotiation. 96-105
  
• Márcia Ito, Jaime Simão Sichman:
  Dependence Based Coalitions and Contract Net: A Comparative Analysis. 106-115
  
• Christian Lemaître, Amal El Fallah-Seghrouchni:
  A Multiagent Systems Theory of Meaning Based on the Habermas/Bühler Communicative Action Theory. 116-125
  
• Paulo Ferreira, Jacques Wainer:
  Scheduling Meetings through Multi-agent Negotiation. 126-135
  
• Ilídio Castro Oliveira, Orlando Belo, João Paulo Cunha:
  Agents Working on the Integration of Heterogeneous Information Sources in Distributed Healthcare Environments. 136-145
  
• Benedita Malheiro, Eugenio Oliveira:
  Solving Conflicting Beliefs with a Distributed Belief Revision Approach. 146-155
  
• Mahdi Hannoun, Olivier Boissier, Jaime Simão Sichman, Claudette Sayettat:
  MOISE: An Organizational Model for Multi-agent Systems. 156-165
  
• Ana L. C. Bazzan, Rafael H. Bordini, Rosa Maria Vicari, Joachim Wahle:
  Evolving Populations of Agents with Personalities in the Minority Game. 166-175
  
• Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt:
  Dynamic Social Knowledge: A Comparative Evaluation. 176-185
  

AI in Education and Intelligent Tutoring Systems

• Patricia Azevedo Tedesco, John A. Self:
  MArCo: Using Meta-cognitive Conflicts to Provoke Strategic Changes. 186-195
  

Knowledge Representation and Reasoning

• Marcelo Finger, Wamberto Weber Vasconcelos:
  Sharing Resource-Sensitive Knowledge Using Combinator Logics. 196-206
  
• Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Varejão:
  Compiling Default Theory int Extended Logic Programming. 207-216
  
• Jair Minoro Abe, Seiki Akama:
  Annotated Temporal Logics Delta*tau. 217-226
  
• João C. P. da Silva, Sheila R. M. Veloso:
  Representing Belief Revision through Default Theories. 227-235
  
• Marcelo O. Johann, Andrew E. Caldwell, Ricardo Augusto da Luz Reis, Andrew B. Kahng:
  Admissibility Proofs for the LCS* Algorithm. 236-244
  
• Patrick Brézillon, Laurent Pasquier, Jean-Charles Pomerol:
  Representing Operational Knowledge by Contextual Graphs. 245-258
  

Machine Learning and Knowledge Acquisition

• João Luís Garcia Rosa, Edson Françozo:
  Linguistic Relations Encoding in a Symbolic-Connectionist Hybrid Natural Language Processor. 259-268
  
• Joao Gama:
  A Linear-Bayes Classifier. 269-279
  
• Anna Helena Reali Costa, Reinaldo A. C. Bianchi: L-VIBRA: Learning the VIBRA Architecture. 280-289
• Carlos Eduardo Mariano, Eduardo F. Morales:
  A New Distributed Reinforcement Learning Algorithm for Multiple Objective Optimization Problems. 290-299
  

Knowledge Discovery and Data Mining

• Joel Larocca Neto, Alexandre Santos, Celso A. A. Kaestner, Alex Alves Freitas:
  Generating Text Summaries through the Relative Importance of Topics. 300-309
  
• Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt:
  Cognitive Multi-agent Systems for Integrated Information Retrieval and Extraction over the Web. 310-319
  

Natural Language Processing

• Manuel Palomar, Rafael Muñoz:
  Definite Descriptions in an Information Extraction Systems. 320-328
  
• Horacio Saggion, Guy Lapalme:
  Summary Generation and Evaluation in SumUM. 329-338
  
• António Ribeiro, José Gabriel Pereira Lopes, João Mexia:
  Extracting Equivalents from Aligned Parallel Texts: Comparison of Measures of Similarity. 339-349
  

Robotics

• Gianmichele Grittani, Gilberto Gallinelli, José M. Ramírez:
  FutBot: A Vision System for Robotic Soccer. 350-358
  
• José Soler, Vicente Julián, Carlos Carrascosa, Vicente J. Botti:
  Applying the ARTIS Agent Architecture to Mobile Robot Control. 359-368
  
• Carlos H. C. Ribeiro:
  On the Use of Option Policies for Autonomous Robot Navigation. 369-378
  
• Maritza Bracho de Rodríguez, José Alí Moreno:
  Heuristic Algorithm for Robot Path Planning Based on Real Space Renormalization. 379-388
  
• Leonardo Romero, Eduardo F. Morales, Luis Enrique Sucar:
  A Robust Exploration and Navigation Approach for Indoor Mobile Robots Merging Local and Global Strategies. 389-398
  

Computer Vision

• Herman Martins Gomes, Robert B. Fisher:
  Structural Learning from Iconic Representations. 399-408
  

Uncertainty and Fuzzy Systems

• Rajiv Bagai:
  Tuple Relational Calculus for Paraconsistent Databases. 409-416
  
• Luis E. Garza, Francisco J. Cantú Ortiz, Salvador Acevedo:
  A Methodology for Multiple-Fault Diagnosis Based on the Independent Choice Logic. 417-426
  
• Didier Dubois, Lluis Godo, Henri Prade, Adriana Zapico:
  Advances in Qualitative Decision Theory: Refined Rankings. 427-436
  

Genetic Algorithms and Neural Networks

• Dirk Devogelaere, Patrick van Bael, Marcel Rijckaert:
  A Soft Computing Approach for Toxicity Prediction. 437-446
  
• Elizabeth Margaglio, Rosalba Lamanna, Pierre-Yves Glorennec:
  Analysis and Comparison of Recurrent Neural Networks for the Identification of a Pilot Plant Distillation Column. 447-456
  
• Arturo Núñez, María Cristina Riff Rojas:
  Multiple Populations Guided by the Constraint-Graph for CSP. 457-466
  
• José Manuel Gutiérrez, Antonio S. Cofiño, María L. Ivanissevich:
  A Hybrid Evolutive-Genetic Strategy for the Inverse Fractal Problem of IFS Models. 467-476
  
• Jose Torres-Jimenez, Eduardo Rodriguez-Tello:
  A New Measure for the Bandwidth Minimization Problem. 477-486
  
• Claudio M. Rocco Sanseverino, A. J. Miller, José Alí Moreno, Néstor Carrasquero, M. Medina:
  Sensitivity and Uncertainty Analysis in Optimization Programs Using an Evolutionary Approach. 487-496