MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Front Matter....Pages -
Searching for a Solution to Program Verification=Equation Solving in CCS....Pages 1-12
Knowledge Representation Using High-Level Non-monotonic Reasoning....Pages 13-24
Experiments on Information Retrieval Using Case-Based Reasoning....Pages 25-39
A Probabilistic Exemplar-Based Model for Case-Based Reasoning....Pages 40-51
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective....Pages 52-62
A Methodology to Parallel the Temperature Cycle in Simulated Annealing....Pages 63-74
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm....Pages 75-81
A Practical Approach for Logic Program Analysis and Transformation....Pages 82-94
Experiments in Answer Sets Planning....Pages 95-107
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment....Pages 108-114
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems....Pages 115-126
Detection and Tracking of Facial Features in Video Sequences....Pages 127-135
An Application of Behavior-Based Architecture for Mobile Robots Design....Pages 136-147
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems....Pages 148-157
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors....Pages 158-169
Evolving Insect Locomotion Using Cooperative Genetic Programming....Pages 170-181
On the Minimal Cooperative Attitude in Multi-robotics Systems....Pages 182-192
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition....Pages 193-201
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC....Pages 202-211
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning....Pages 212-223
Automatic Extraction of Logic Program Transformations from Examples....Pages 224-234
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System....Pages 235-246
A Framework for Interleaving Planning-while-Learning and Execution....Pages 247-259
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World....Pages 260-271
RuLess: A Method for the Acquisition and Simplification of Rules....Pages 272-283
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology....Pages 284-293
Rapid Fine-Tuning of Computationally Intensive Classifiers....Pages 294-302
Qualitative Knowledge Acquisition for Learning Organizations....Pages 303-314
Applying One-Sided Selection to Unbalanced Datasets....Pages 315-325
NSL/ASL: Distributed Simulation of Modular Neural Networks....Pages 326-337
Dynamical Behavior of an Electronic Neuron of Commutation....Pages 338-349
Training Neural Networks Using Non-standard Norms – Preliminary Results....Pages 350-364
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport....Pages 365-375
Constructing a Query Facility for RBF Networks....Pages 376-388
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training....Pages 389-400
Investigation of the One-Armed Bandit by Neural Network....Pages 401-404
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram....Pages 405-416
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry....Pages 417-425
Risks Inside-Out....Pages 426-435
A Specific Domain Translator Application in a Floristic Digital Library....Pages 436-442
A Cooperative, Deductive, and Self-Adaptive Web Authoring Environment....Pages 443-457
Definition of a General Conceptualization Method for the Expert Knowledge....Pages 458-469
Segmenting the e-Commerce Market Using the Generative Topographic Mapping....Pages 470-481
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation....Pages 482-492
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology....Pages 493-502
Explaining Abstract Data Types with Sentential and Diagrammatic Elements....Pages 503-514
Dialogue Structure Influence Over Anaphora Resolution....Pages 515-525
Processing of Spanish Definite Descriptions....Pages 526-537
Syntactic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation....Pages 538-547
Comparison of Conceptual Graphs....Pages 548-556
Interaction of Purposeful Agents that Use Different Ontologies....Pages 557-573
Multi-agent Adaptive Dynamic Programming....Pages 574-585
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning....Pages 586-597
Intelligent Interface Agents Behavior Modeling....Pages 598-609
Memory Based Reasoning and Agents Adaptive Behavior....Pages 610-620
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent....Pages 621-633
Action Selection Properties in a Software Simulated Agent....Pages 634-648
MultiAgent Planning: A Resource Based Approach....Pages 649-660
Dynamic Fuzzy Logic....Pages 661-670
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System....Pages 671-686
Probabilistic Model-Based Diagnosis....Pages 687-698
Instance Metrics Improvement by Probabilistic Support....Pages 699-705
EDAS – Event-Disturbance Analysis System for Fossil Power Plants Operation....Pages 706-717
A Complete Teamwork Model in a Dynamic Environment....Pages 718-728
Towards a Personalized Web-Based Educational System....Pages 729-740
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment....Pages 741-747
Back Matter....Pages -