Invited Talks | |
Formalisations of Uncertain Reasoning | p. 1 |
Agent-Oriented Software Engineering | p. 4 |
A Unified-Metaheuristic Framework | p. 11 |
Fuzzy Systems | |
A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems | p. 13 |
Modeling Fuzzy Sets Using Object-Oriented Techniques | p. 23 |
A Fuzzy Approach to Map Building | p. 33 |
Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems | p. 43 |
Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model | p. 54 |
Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model | p. 64 |
A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain | p. 74 |
Neural Networks | |
Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic | p. 80 |
A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications | p. 92 |
Study of Weight Importance in Neural Networks Working With Colineal Variables in Regression Problems | p. 101 |
The Parallel Path Artificial Micronet | p. 111 |
Genetic Algorithms | |
A Generation Method to Produce GA with GP Capabilities for Signal Modeling | p. 118 |
Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation | p. 127 |
Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization | p. 137 |
A Genetic Algorithm for Visualizing Networks of Association Rules | p. 145 |
Genetic Algorithms in Solving Graph Partitioning Problem | p. 155 |
Application of Genetic Algorithms in Power System Stabilizer Design | p. 165 |
A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain | p. 175 |
Search | |
A New Gradient-Based Search Method: Grey-Gradient Search Method | p. 185 |
An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts | p. 195 |
Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems | p. 205 |
Reasoning | |
Cost-Based Abduction Using Binary Decision Diagrams | p. 215 |
New Directions in Debugging Hardware Designs | p. 226 |
Reasoning with Diagrams: The Semantics of Arrows | p. 236 |
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis | p. 246 |
Expert Systems and Applications | |
WebMaster: Knowledge-Based Verification of Web-Pages | p. 256 |
Towards Task-Oriented User Support for Failure Mode and Effects Analysis | p. 266 |
Incremental and Integrated Evaluation of Rule-Based Systems | p. 276 |
A Model of Reflection for Developing AI Applications | p. 286 |
A Compositional Process Control Model and Its Application to Biochemical Processes | p. 296 |
Visual and Textual Knowledge Representation in DESIRE | p. 306 |
Verification of Knowledge Based-Systems for Power System Control Centers | p. 316 |
Self-Crossover and Its Application to the Traveling Salesman Problem | p. 326 |
Enabling Client-Server Explanation Facilities in a Real Time Expert System | p. 333 |
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks | p. 343 |
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge | p. 353 |
Alex: A Computer Aid for Treating Alexithymia | p. 362 |
Case-Base Reasoning | |
Mechanizing Proofs of Integrity Constraints in the Situation Calculus | p. 372 |
Using Cases for Process Modelling: An Example from the Water Supply Industry | p. 382 |
Financial Analysis by Case Based Reasoning | p. 388 |
Training of the Learner in Criminal Law by Case-Based Reasoning | p. 398 |
Intelligent Agents | |
Constraint-Based Agent Specification for a Multi-Agent Stock Brokering System | p. 409 |
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents | p. 420 |
Information Brokering Agents in Intelligent Websites | p. 430 |
Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing | p. 440 |
A Multi-agent Solution for Advanced Call Centers | p. 450 |
A Multi-agent System for Emergency Management in Floods | p. 460 |
Problem-Solving Frameworks for Sensible Agents in an Electronic Market | p. 470 |
A Model for Distributed Multi-agent Traffic Control | p. 480 |
Smart Equipment Creating New Electronic Business Opportunities | p. 490 |
Distributed AI | |
Agent Oriented Conceptual Modeling of Parallel Workflow Systems | p. 500 |
A Distributed Algorithm as Mobile Agents | p. 510 |
Why Ontologies are Not Enough for Knowledge Sharing | p. 520 |
Pattern Recognition and Vision | |
A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems | p. 530 |
Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database | p. 540 |
Using Labeled and Unlabeled Data to Train a Multilayer Perceptron for Color Classification in Graphic Arts | p. 550 |
A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components | p. 560 |
A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation | p. 570 |
SAPIA: A Model Based Satellite Image Interpretation System | p. 580 |
Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images | p. 590 |
Machine Learning | |
Air-Crew Scheduling through Abduction | p. 600 |
Unfold/Fold Inductive Proof: An Extension of a Folding Technique | p. 612 |
On Solving the Capacity Assignment Problem Using Continuous Learning Automata | p. 622 |
Supervised Parameter Optimization of a Modular Machine Learning System | p. 632 |
Non-supervised Rectangular Classification of Binary Data | p. 642 |
Synthesizing Intelligent Behavior: A Learning Paradigm | p. 649 |
Automatic Input-output Configuration and Generation of ANN-based Process Models and Their Application in Machining | p. 659 |
DCL: A Disjunctive Learning Algorithm for Rule Extraction | p. 669 |
Temporal Reasoning | |
Modeling and Simulating Breakdown Situation in Telecommunication Networks | p. 679 |
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources | p. 688 |
Introduction to Reasoning About Cyclic Intervals | p. 698 |
A Multiple-Platform Decentralized Route Finding System | p. 707 |
Heuristic Selection of Aggregated-Temporal Data for Knowledge Discovery | p. 714 |
Knowledge Representation | |
Architectural Knowledge Representation Using the Galois Lattice Technique | p. 724 |
Automated Solving of the DEDS Control Problems | p. 735 |
A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra | p. 747 |
Unified Chromosome Representation for Large Scale Problems | p. 753 |
A Novel Framework for Hybrid Intelligent Systems | p. 761 |
Planning and Scheduling | |
The Design of a Multi-tiered Bus Timetabling System | p. 771 |
Scheduling of a Production Unit via Critical Block Neighborhood Structures | p. 780 |
An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT | p. 788 |
Tutoring and Manufacturing Systems | |
Designing an Intelligent Tutoring Systems in the Domain of Formal Languages | p. 798 |
Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks | p. 809 |
An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems | p. 820 |
The Economic Benefits of Internet-Based Business Operations in Manufacturing | p. 830 |
CNC Manufacturing of Complex Surfaces Based on Solid Modeling | p. 841 |
Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case | p. 849 |
Intelligent Software Engineering | |
A Formal Approach to Lingware Development | p. 859 |
A Formal Knowledge Level Process Model of Requirements Engineering | p. 869 |
Pieces of Mind: Component-Based Software Development of Artificial Intelligence | p. 879 |
CNC Automatic Programming System for Wire-EDM | p. 889 |
Index | p. 897 |
Table of Contents provided by Publisher. All Rights Reserved. |