This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000, held in Varna, Bulgaria in September 2000.
The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on knowledge construction, reasoning under certainty, reasoning under uncertainty, actors and agents, Web mining, natural language processing, complexity and optimization, fuzzy and neural systems, and algorithmic learning.
Author(s): José Júlio Alferes, Luýs Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski (auth.)
Series: Lecture Notes in Computer Science 1904 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 372
Tags: Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity
Dynamic Knowledge Representation and Its Applications....Pages 1-10
Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems....Pages 11-20
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools....Pages 21-33
Steps towards C+C: A Language for Interactions....Pages 34-48
Efficient Reasoning Using the Local Closed-World Assumption....Pages 49-58
Least Generalization under Relative Implication....Pages 59-68
Theorem Proving for Constructive λ-Calculus....Pages 69-79
Classification with Belief Decision Trees....Pages 80-90
A Temporal Many-Valued Logic for Real Time Control Systems....Pages 91-100
Propositional Contexts....Pages 101-110
An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis....Pages 111-121
An Open Approach to Distribution, Awareness and Cooperative Work....Pages 122-131
How to Schedule a Job Shop Problem through Agent Cooperation....Pages 132-141
Revisable Analysis and Design throughout Actors Interaction....Pages 142-151
Simulation and Multi-agent Environment for Aircraft Maintenance Learning....Pages 152-166
Improving WWW Access - from Single-Purpose Systems to Agent Architectures?....Pages 167-178
A General Architecture for Finding Structural Regularities on the Web....Pages 179-188
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing....Pages 189-198
What Did He Mean by That?....Pages 199-209
Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning....Pages 210-220
Maintaining a Jointly Constructed Student Model....Pages 221-231
Metaphor Processing for Learning Terminology on the Web....Pages 232-241
Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project)....Pages 242-251
Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document....Pages 252-260
Complexity Issues in the Davis and Putnam Scheme....Pages 261-271
Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP....Pages 272-282
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing....Pages 283-291
Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System....Pages 292-300
A Neural Network Tool to Organize Large Document Sets....Pages 301-309
User Authentication via Neural Network....Pages 310-320
Applying Preference Biases to Conjunctive and Disjunctive Version Spaces....Pages 321-331
Coverage-Based Semi-distance between Horn Clauses....Pages 331-339
Supervised Classification for the Triple Parity Strings....Pages 340-347
Effective Iris Recognition System by Optimized Feature Vectors and Classifier....Pages 348-357
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web....Pages 358-361
Continuations and Conversations....Pages 362-363
