Artificial Intelligence: Methodology, Systems, and Applications 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings /
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2000.
|
Edition: | 1st ed. 2000. |
Series: | Lecture Notes in Artificial Intelligence ;
1904 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.