TY - BOOK ED - SpringerLink (Online service) TI - Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings T2 - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, SN - 9783540453314 AV - Q334-342 U1 - 006.3 23 PY - 2000/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer software KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Algorithm Analysis and Problem Complexity N1 - 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 UR - http://dx.doi.org/10.1007/3-540-45331-8 ER -