Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings: Lecture Notes in Computer Science, cartea 1904

Knowledge Construction.- 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.- Reasoning under Certainty.- Efficient Reasoning Using the Local Closed-World Assumption.- Least Generalization under Relative Implication.- Theorem Proving for Constructive ?-Calculus.- Reasoning under Uncertainty.- Classification with Belief Decision Trees.- A Temporal Many-Valued Logic for Real Time Control Systems.- Propositional Contexts.- Best Paper Award.- An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis.- Actors, Agents.- 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.- Web, Mining.- 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.- Natural Language.- What Did He Mean by That?.- Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning.- Maintaining a Jointly Constructed Student Model.- Metaphor Processing for Learning Terminology on the Web.- Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project).- Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document.-Complexity and Optimization.- Complexity Issues in the Davis and Putnam Scheme.- Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP.- Fuzzy, Neural.- Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing.- Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System.- A Neural Network Tool to Organize Large Document Sets.- User Authentication via Neural Network.- Learning.- Applying Preference Biases to Conjunctive and Disjunctive Version Spaces.- Coverage-Based Semi-distance between Horn Clauses.- Supervised Classification for the Triple Parity Strings.- Effective Iris Recognition System by Optimized Feature Vectors and Classifier.- Invited Papers.- Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web.- Continuations and Conversations.

Includes supplementary material: sn.pub/extras