Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / / edited by Stefano A. Cerri, Danail Dochev

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
• Edizione: 1st ed. 2000.
• Descrizione fisica: 1 online resource (XII, 372 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Algorithms; Artificial Intelligence; Algorithm Analysis and Problem Complexity
• Persona (resp. second.): CerriStefano A; DochevDanail
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Artificial Intelligence: Methodology, Systems, and Applications
• ISBN: 3-540-45331-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465384903316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 1904