Artificial Intelligence: Methodology, Systems, and Applications

9th International Conference, AIMSA 2000 Varna, Bulgaria
September 20-23, 2000. Volume 9. Proceedings.

Since 1984, the Artificial Intelligence: Methodology, Systems, and Applica-
tions (AIMSA) conference series has provided a biennial forum for the presentation of artificial intelligence research and development. The conference covers
the full range of topics in AI and related disciplines and provides an ideal fo-
rum for international scientific exchange between central/eastern Europe and the
rest of the world. The AIMSA conferences were previously chaired by Wolfgang
Bibel, Tim O’Shea, Philippe Jorrand, Ben du Boulay, Allan Ramsay and Fausto
Giunchiglia. AIMSA 2000 is sponsored by ECCAI, the European Coordinating
Committee for Artificial Intelligence.

TABLE OF CONTENTS

PART 1. KNOWLEDGE CONSTRUCTION

Dynamic Knowledge Representation and Its Applications
Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools
Steps towards C+C: A Language for Interactions

PART 2. REASONING UNDER CERTAINTY

Efficient Reasoning Using the Local Closed-World Assumption
Least Generalization under Relative Implication
Theorem Proving for Constructive A-Calculus 69

PART 3. REASONING UNDER UNCERTAINTY

Classification with Belief Decision Trees
A Temporal Many-Valued Logic for Real-Time Control Systems
Propositional Contexts

PART 4. BEST PAPER AWARD

An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis

PART 5. 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

PART 6. 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

PART 7. 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

PART 8. COMPLEXITY AND OPTIMIZATION

Complexity Issues in the Davis and Putnam Scheme
Combining Local Search and Constraint Propagation to Find a Minimal Ghange Solution for a Dynamic GSP

PART 9. 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

PART 10. 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

Part 11. INVITED PAPERS

Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web
Continuations and Conversations

Author Index