Advances in Artificial Intelligence

This year, Brazil celebrates its 500 years of discovery. To mark this great event, the Brazilian Arti cial Intelligence (AI) community organized a special int- national joint conference putting together SBIA 2000 (the Brazilian AI Sym- sium) and IBERAMIA 2000 (the Ibero-American AI Conference). SBIA 2000 is the 15th conference of the SBIA conference series, which is the leading conference in Brazil for presentation of research and applications in Arti cial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, an international program committee, and p- ceedings published in Springer-Verlag's Lecture Notes in Arti cial Intelligence (LNAI) series. IBERAMIA 2000 is the 7th conference of the IBERAMIA conference series, which has been one of the most suitable forums for ibero-american AI rese- chers (from South and Central America, Mexico, Spain, and Portugal) to present their results. Following the SBIA and EPIA (Portuguese conference on AI) ex- riences, from IBERAMIA'98 on, it has also become an international conference, with proceedings published in Springer-Verlag's LNAI series.

Inhalt

Invited Papers.- Decision-Rule Solutions for Data Mining with Missing Values.- Getting Computer Systems to Function as Team Players (Abstract).- Knowledge Engineering and Case Based Reasoning.- Case-Based Management of Software Engineering Experienceware.- Handling Cases and the Coverage in a Limited Quantity of Memory for Case-Based Planning Systems.- Integrating Rules and Cases in Learning via Case Explanation and Paradigm Shift.- PersonalSearcher: An Intelligent Agent for Searching Web Pages.- JEOPS - The Java Embedded Object Production System.- Planning and Scheduling.- Global and Local Search for Scheduling Job Shop with Parallel Machines.- Knowledge-Based Interactive Scheduling of Multiproduct Batch Plants.- Petriplan: A New Algorithm for Plan Generation (Preliminary Report).- Distributed AI and Multi-agent Systems.- Using and Evaluating Adaptive Agents for Electronic Commerce Negotiation.- Dependence Based Coalitions and Contract Net: A Comparative Analysis.- A Multiagent Systems Theory of Meaning Based on the Habermas/ Bühler Communicative Action Theory.- Scheduling Meetings through Multi-agent Negotiation.- Agents Working on the Integration of Heterogeneous Information Sources in Distributed Healthcare Environments.- Solving Conflicting Beliefs with a Distributed Belief Revision Approach.- MOISE: An Organizational Model for Multi-agent Systems.- Evolving Populations of Agents with Personalities in the Minority Game.- Dynamic Social Knowledge: A Comparative Evaluation.- AI in Education and Intelligent Tutoring Systems.- MArCo: Using Meta-cognitive Conflicts to Provoke Strategic Changes.- Knowledge Representation and Reasoning.- Sharing Resource-Sensitive Knowledge Using Combinator Logics.- Compiling Default Theory into Extended Logic Programming.- Annotated Temporal Logics ??.- Representing Belief Revision through Default Theories.- Admissibility Proofs for the LCS Algorithm.- Representing Operational Knowledge by Contextual Graphs.- Machine Learning and Knowledge Acquisition.- Linguistic Relations Encoding in a Symbolic- Connectionist Hybrid Natural Language Processor.- A Linear-Bayes Classifier.- L-VIBRA: Learning in the VIBRA Architecture.- A New Distributed Reinforcement Learning Algorithm for Multiple Objective Optimization Problems.- Knowledge Discovery and Data Mining.- Generating Text Summaries through the Relative Importance of Topics.- Cognitive Multi-agent Systems for Integrated Information Retrieval and Extraction over the Web.- Natural Language Processing.- Definite Descriptions in an Information Extraction System.- Summary Generation and Evaluation in SumUM.- Extracting Equivalents from Aligned Parallel Texts: Comparison of Measures of Similarity.- Robotics.- FutBot: A Vision System for Robotic Soccer.- Applying the ARTIS Agent Architecture to Mobile Robot Control.- On the Use of Option Policies for Autonomous Robot Navigation.- Heuristic Algorithm for Robot Path Planning Based on Real Space Renormalization.- A Robust Exploration and Navigation Approach for Indoor Mobile Robots Merging Local and Global Strategies.- Computer Vision.- Structural Learning from Iconic Representations.- Uncertainty and Fuzzy Systems.- Tuple Relational Calculus for Paraconsistent Databases.- A Methodology for Multiple-Fault Diagnosis Based on the Independent Choice Logic.- Advances in Qualitative Decision Theory: Refined Rankings.- Genetic Algorithms and Neural Networks.- A Soft Computing Approach for Toxicity Prediction.- Analysis and Comparison of Recurrent Neural Networks for the Identification of a Pilot Plant Distillation Column.- Multiple Populations Guided by the Constraint-Graph for CSP.- An Hybrid Evolutive-Genetic Strategy for the Inverse Fractal Problem of IFS Models.- A New Measure for the Bandwidth Minimization Problem.- Sensitivity and Uncertainty Analysis in Optimization Programs Using an Evolutionary Approach.