| Invited Talks |
| Formalisations of Uncertain Reasoning / F. S. C. da Silva |
| Agent-Oriented Software Engineering / N. R. Jennings |
| A Unified-Metaheuristic Framework / I. H. Osman |
| Fuzzy Systems |
| A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems / S.-L. Wang ; Y.-H. Wu |
| Modeling Fuzzy Sets Using Object-Oriented Techniques / G. Y. C. Wong ; H. W. Chun |
| A Fuzzy Approach to Map Building / H. Zreak ; M. Alwan ; M. Khaddour |
| Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems / D. Pacholczyk |
| Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model / R. Sendelj ; Yugoslav Navy ; V. Devedzic |
| Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model / H.-K. Fan ; C. Chen ; C.-M. Hong |
| A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain / T.-P. Hong ; T.-T. Wang |
| Neural Networks |
| Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic / Y. Dakroury ; A. A. El Al ; O. Badr |
| A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications / D. Manrique ; J. Ríos ; A. Vilarrasa |
| Study of Weight Importance in Neural Networks Working With Colineal Variables in Regression Problems / A. Martínez ; J. Castellanos ; C. Hernández ; F. de Mingo |
| The Parallel Path Artificial Micronet / G. Murray ; T. Hendtlass ; J. Podlena |
| Genetic Algorithms |
| A Generation Method to Produce GA with GP Capabilities for Signal Modeling / A. Ezzat ; N. Inuzuka ; H. Itoh |
| Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation / M. Rocha ; J. Neves |
| Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization / M. El-Beltagy ; A. Keane |
| A Genetic Algorithm for Visualizing Networks of Association Rules / F. Guillet ; P. Kuntz ; R. Lehn |
| Genetic Algorithms in Solving Graph Partitioning Problem / S. Shazely ; H. Baraka ; A. Abdel-Wahab ; H. Kamal |
| Application of Genetic Algorithms in Power System Stabilizer Design / A. I. Baaleh ; A. F. Sakr |
| A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain / E. B. Mansilla ; A. Mekaouche ; J. M. G. Guiu |
| Search |
| A New Gradient-Based Search Method: Grey-Gradient Search Method / C.-M. Chen ; H. Fan |
| An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts / D. A. L. Piriyakumar ; P. Levi |
| Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems / A. R. Appas ; A. M. Darwish ; A. El-Dessouki ; S. I. Shaheen |
| Reasoning |
| Cost-Based Abduction Using Binary Decision Diagrams / S. Kato ; S. Oono ; H. Seki |
| New Directions in Debugging Hardware Designs / F. Wotawa |
| Reasoning with Diagrams: The Semantics of Arrows / G. Ligozat |
| MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis / H. Milde ; L. Hotz ; J. Kahl ; B. Neumann ; S. Wessel |
| Expert Systems and Applications |
| WebMaster: Knowledge-Based Verification of Web-Pages / F. van Harmelen ; J. van der Meer |
| Towards Task-Oriented User Support for Failure Mode and Effects Analysis / G. Peter ; D. Rösner |
| Incremental and Integrated Evaluation of Rule-Based Systems / P. G. Chander ; R. Shinghal ; T. Radhakrishnan |
| A Model of Reflection for Developing AI Applications / M. H. Ibrahim ; F. A. Cummins |
| A Compositional Process Control Model and Its Application to Biochemical Processes / C. M. Jonker ; J. Treur |
| Visual and Textual Knowledge Representation in DESIRE / R. Kremer ; P. van Leeuwen ; D. Pan |
| Verification of Knowledge Based-Systems for Power System Control Centers / J. Santos ; L. Faria ; C. Ramos ; Z. A. Vale ; A. Marques |
| Self-Crossover and Its Application to the Traveling Salesman Problem / M. K. Kundu ; N. R. Pal |
| Enabling Client-Server Explanation Facilities in a Real Time Expert System / N. Malheiro |
| Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks / P. Fröhlich ; W. Nejdl ; M. Schroeder ; C. Damásio ; L. M. Pereira |
| Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge / V. Y. Terziyan ; S. Puuronen |
| Alex: A Computer Aid for Treating Alexithymia / R. N. Smith ; W. J. Frawley |
| Case-Base Reasoning |
| Mechanizing Proofs of Integrity Constraints in the Situation Calculus / E. Kounalis ; P. Urso |
| Using Cases for Process Modelling: An Example from the Water Supply Industry / G. Saward |
| Financial Analysis by Case Based Reasoning / E. Aïmeur ; K. Boudina |
| Training of the Learner in Criminal Law by Case-Based Reasoning / S. Bélanger ; M. A. Thibodeau |
| Intelligent Agents |
| Constraint-Based Agent Specification for a Multi-Agent Stock Brokering System / B. H. Ooi ; A. K. Ghose |
| A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents / C. Piccardi |
| Information Brokering Agents in Intelligent Websites |
| Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing / T. Gavrilova ; A. Voinov ; I. Lescheva |
| A Multi-agent Solution for Advanced Call Centers / B. Bauer ; C. Klein |
| A Multi-agent System for Emergency Management in Floods / J. Cuena ; M. Molina |
| Problem-Solving Frameworks for Sensible Agents in an Electronic Market / K. S. Barber ; A. Goel ; D. Han ; J. Kim ; T. H. Liu ; C. E. Martin ; R. McKay |
| A Model for Distributed Multi-agent Traffic Control / C. Bel ; W. van Stokkum |
| Smart Equipment Creating New Electronic Business Opportunities / R. Gustavsson |
| Distributed AI |
| Agent Oriented Conceptual Modeling of Parallel Workflow Systems / S. Aknine ; S. Pinson |
| A Distributed Algorithm as Mobile Agents / D. Deugo |
| Why Ontologies are Not Enough for Knowledge Sharing / W. Weber ; J. Agustí ; D. Robertson ; A. C. V. de Melo |
| Pattern Recognition and Vision |
| A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems / K. Mostafa ; I. Farag |
| Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database / M. E. Ragab ; E. M. Abed |
| Using Labeled and Unlabeled Data to Train a Multilayer Perceptron for Color Classification in Graphic Arts / A. Verikas ; A. Gelzinis ; K. Malmqvist |
| A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components / M.A. Rodrigues ; Y. Liu |
| A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation / E. Zangrouba ; T. Hedidar ; A. Jaoua |
| SAPIA: A Model Based Satellite Image Interpretation System / F. Ramparany ; F. Sandt |
| Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images / S. Shah ; J.K. Aggarwal |
| Machine Learning |
| Air-Crew Scheduling through Abduction / A. C. Kakas ; A. Michael |
| Unfold/Fold Inductive Proof: An Extension of a Folding Technique / R. Salem ; K. Bsaïes |
| On Solving the Capacity Assignment Problem Using Continuous Learning Automata / B. J. Oommen ; T. D. Roberts |
| Supervised Parameter Optimization of a Modular Machine Learning System / M. Link ; M. Ishitobi |
| Non-supervised Rectangular Classification of Binary Data / H. M. Sellami |
| Synthesizing Intelligent Behavior: A Learning Paradigm / M. S. Hamdi ; K. Kaiser |
| Automatic Input-output Configuration and Generation of ANN-based Process Models and Their Application in Machining / Z. J. Viharos ; L. Monostori |
| DCL: A Disjunctive Learning Algorithm for Rule Extraction / S. M. Abu-Soud ; M. R. Tolun |
| Temporal Reasoning |
| Modeling and Simulating Breakdown Situation in Telecommunication Networks / A. Osmani |
| Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources / H. Kaikova |
| Introduction to Reasoning About Cyclic Intervals |
| A Multiple-Platform Decentralized Route Finding System / H. W. Guesgen ; D. Mitra |
| Heuristic Selection of Aggregated-Temporal Data for Knowledge Discovery / H. Hamilton ; D. J. Randall |
| Knowledge Representation |
| Architectural Knowledge Representation Using the Galois Lattice Technique / D. Chitchian ; S. Sariyildiz ; H. Koppelaar |
| Automated Solving of the DEDS Control Problems / F. Čapkovič |
| A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra |
| Unified Chromosome Representation for Large Scale Problems / H. H. Baraka ; S. Eid ; A. H. AbdelWahab |
| A Novel Framework for Hybrid Intelligent Systems / H. A. Hefny ; A. Abdel Wahab ; A. A. Bahnasawi |
| Planning and Scheduling |
| The Design of a Multi-tiered Bus Timetabling System / S. H. C. Chan |
| Scheduling of a Production Unit via Critical Block Neighborhood Structures / P. van Bael ; M. Rijckaert |
| An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT / N. Tomii ; L. J. Zhou ; N. Fukumura |
| Tutoring and Manufacturing Systems |
| Designing an Intelligent Tutoring Systems in the Domain of Formal Languages / D. Popovic |
| Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks / E. El-Sheikh ; J. Sticklen |
| An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems / C. Schaefer ; O. Lopez |
| The Economic Benefits of Internet-Based Business Operations in Manufacturing / E. Gide ; F. Soliman |
| CNC Manufacturing of Complex Surfaces Based on Solid Modeling / A. Elkeran ; M. A. El-baz |
| Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case / T. El-Fouly ; N. Zerhoini ; M. Ferney ; A. El Moundi |
| Intelligent Software Engineering |
| A Formal Approach to Lingware Development / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou |
| A Formal Knowledge Level Process Model of Requirements Engineering / D. E. Herlea ; N. J. E. Wijngaards |
| Pieces of Mind: Component-Based Software Development of Artificial Intelligence / J. Cakic |
| CNC Automatic Programming System for Wire-EDM / T. T. El-Midany ; H. T. Radwan |
| Index |
| Invited Talks |
| Formalisations of Uncertain Reasoning / F. S. C. da Silva |
| Agent-Oriented Software Engineering / N. R. Jennings |
図書
