Artificial Intelligence: Methodology, Systems, and Applications 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings /
Artificial Intelligence: Methodology, Systems, and Applications 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings / [electronic resource] :
edited by Stefano A. Cerri, Danail Dochev.
- 1st ed. 2000.
- XII, 372 p. online resource.
- Lecture Notes in Artificial Intelligence, 1904 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 1904 .
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.
9783540453314
10.1007/3-540-45331-8 doi
Artificial intelligence.
Algorithms.
Artificial Intelligence.
Algorithms.
Q334-342 TA347.A78
006.3
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.
9783540453314
10.1007/3-540-45331-8 doi
Artificial intelligence.
Algorithms.
Artificial Intelligence.
Algorithms.
Q334-342 TA347.A78
006.3