1.

Record Nr.

UNISA996465384903316

Titolo

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

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000

ISBN

3-540-45331-8

Edizione

[1st ed. 2000.]

Descrizione fisica

1 online resource (XII, 372 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 1904

Disciplina

006.3

Soggetti

Artificial intelligence

Algorithms

Artificial Intelligence

Algorithm Analysis and Problem Complexity

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

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.