Artificial intelligence : methodology, systems, and applications : 9th international conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 : proceedings

Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings
Author:
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41044-7
DOI: 10.1007/3-540-45331-8

Table of Contents:

• Dynamic Knowledge Representation and Its Applications
• Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems
• Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools
• Steps towards C+C: A Language for Interactions
• Efficient Reasoning Using the Local Closed-World Assumption
• Least Generalization under Relative Implication
• Theorem Proving for Constructive λ-Calculus
• Classification with Belief Decision Trees
• A Temporal Many-Valued Logic for Real Time Control Systems
• Propositional Contexts
• An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis
• An Open Approach to Distribution, Awareness and Cooperative Work
• How to Schedule a Job Shop Problem through Agent Cooperation
• Revisable Analysis and Design throughout Actors Interaction
• Simulation and Multi-agent Environment for Aircraft Maintenance Learning
• Improving WWW Access - from Single-Purpose Systems to Agent Architectures?
• A General Architecture for Finding Structural Regularities on the Web
• Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing
• What Did He Mean by That?
• Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning

Includes bibliographical references and index