Table of Contents

• Formalisations of Uncertain ReasoniningFlávio S. Corrêa da Silva. 1-3
• Agent-Oriented Software EngineeringNicholas R. Jennings. 4-10
• A Unified-Metaheuristic FrameworkIbrahim H. Osman. 11-12
• A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic SystemsShyue-Liang Wang, Yi-Huey Wu. 13-22
• Modelling Fuzzy Sets Using Object-Oriented TechniquesGary Yat Chung Wong, Hon Wai Chun. 23-32
• A Fuzzy Approach to Map BuildingH. Zreak, M. Alwan, M. Khaddour. 33-42
• Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based SystemsDaniel Pacholczyk. 43-53
• Representational Hierarchy of Fuzzy Logic Concepts in the OBOA ModelRamo Sendelj, Vladan Devedzic. 54-63
• Design of Fuzzy Sliding Controller Based on Cerebellar Learning ModelHeng-Kang Fan, Chih-Ming Chen, Chin-Ming Hong. 64-73
• A New Fuzzy Flexible Flow-Shop Algorithm for Continous Fuzzy DomainTzung-Pei Hong, Tzu-Ting Wang. 74-79
• Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia TrafficYasser Dakroury, Ahmed Abd El Al, Osman Badr. 80-91
• A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of MicrocalcificationsDaniel Manrique, Juan Rios, Amparo Vilarrasa. 92-100
• Study of Weight Importance in Neural Networks Working with Colineal Variables in Regression ProblemsA. Martínez, Juan Castellanos, C. Hernández, Luis Fernando de Mingo López. 101-110
• The Parallel Path Artificial MicronetGerard Murray, Tim Hendtlass, John R. Podlena. 111-117
• A Generation Method to Produce GA with GP Capabilities for Signal ModelingAhmed K. Ezzat, Nobuhiro Inuzuka, Hidenori Itoh. 118-126
• Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring GenerationMiguel Rocha, José Neves. 127-136
• Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel OptimizationMohammed El-Beltagy, Andy J. Keane. 137-144
• A Genetic Algorithm for Visualizing Networks of Association RulesFabrice Guillet, Pascale Kuntz, Rémi Lehn. 145-154
• Genetic Algorithms in Solving Graph Partitioning ProblemSahar Shazely, Hoda Baraka, Ashraf H. Abdel-Wahab, Hanan Kamal. 155-164
• Application of Genetic Algorithms in Power System Stabilizer DesignAhmed I. Baaleh, Ahmed F. Sakr. 165-174
• A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical DomainEster Bernadó i Mansilla, Abdelouahab Mekaouche, Josep Maria Garrell i Guiu. 175-184
• A New Gradient-Based Search Method: Grey-Gradient Search ModelChin-Ming Hong, Chih-Ming Chen, Heng-Kang Fan. 185-194
• An Improvised ::::A*:::: Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search EffortsDouglas Antony Louis Piriyakumar, Paul Levi. 195-204
• Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval SystemsAhmed R. Appas, Ahmed M. Darwish, Ayman I. El-Desouki, Samir I. Shaheen. 205-214
• Cost-Based Abduction Using Binary Decision DiagramsShohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh. 215-225
• New Directions in Debugging Hardware DesignsFranz Wotawa. 226-235
• Reasoning with Diagrams: The Semantics of ArrowsGerard Ligozat. 236-245
• MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for DiagnosisHeiko Milde, Lothar Hotz, Jörg Kahl, Bernd Neumann, Stephanie Wessel. 246-255
• WebMaster: Knowledge-Based Verification of Web-PagesFrank van Harmelen, Jos van der Meer. 256-265
• Towards Task-Oriented User Support for Failure Mode and Effects AnalysisGerhard Peter, Dietmar Rösner. 266-275
• Incremental and Integrated Evaluation of Rule-Based SystemsP. Gokul Chander, Rajjan Shinghal, Thiruvengadam Radhakrishnan. 276-285
• A Model of Reflection for Developing AI ApplicationsMamdouh H. Ibrahim, Fred A. Cummins. 286-295
• A Compositional Process Control Model and Its Application to Biochemical ProcessesCatholijn M. Jonker, Jan Treur. 298-305
• Visual and Textual Knowledge Representation in DESIRECatholijn M. Jonker, Rob Kremer, Pim van Leeuwen, Dong Pan, Jan Treur. 306-315
• Verification of Knowledge Based-Systems for Power System Control CentresJorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques. 316-325
• Self-Crossover and Its Application to the Travelling Salesman ProblemMalay K. Kundu, Nikhil R. Pal. 326-332
• Enabling Client-Server Explanation Facilities in a Real-Time Expert-SystemNuno Malheiro, Zita A. Vale, Carlos Ramos, Jorge Santos, Albino Marques. 333-342
• Using Extended Logic Programming for Alarm-Correlation in Cellular Phone NetworksPeter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira. 343-352
• Knowledge Acquisition Based on Semantic Balance of Internal and External KnowledgeVagan Y. Terziyan, Seppo Puuronen. 353-361
• Alex: A Computer Aid for Treating AlexithymiaRaoul N. Smith, William J. Frawley. 362-371
• Mechanizing Proofs of Integrity Constraints in the Situation CalculusEmmanuel Kounalis, Pascal Urso. 372-381
• Using Cases for Process Modelling: An Example from the Water Supply IndustryGuy Saward. 382-387
• Financial Analysis by Case Based ReasoningEsma Aïmeur, Kamel Boudina. 388-397
• Training of the Learner in Criminal Law by Case-Based ReasoningSimon Bélanger, Marc-André Thibodeau, Esma Aïmeur. 398-408
• Constraint-Based Agent Specification for a Multi-agent Stock Brokering SystemBoon-Hua Ooi, Aditya Ghose. 409-419
• A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis AgentsChristian Piccardi, Franz Wotawa. 420-429
• Inforamtion Broker Agents in Intelligent WebsitesCatholijn M. Jonker, Jan Treur. 430-439
• Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program TestingTatiana Gavrilova, Alexander V. Voinov, Irina Lescheva. 440-449
• A Multi-agent Solution for Advanced Call CentersBernhard Bauer, Cornel Klein. 450-459
• A Multiagent System for Emergency Management in FloodsJosé Cuena, Martín Molina. 460-469
• Problem-Solving Frameworks for Sensible Agents in an Electronic MarketK. Suzanne Barber, Anuj Goel, David C. Han, Joonoo Kim, Tse-Hsin Liu, Cheryl E. Martin, Ryan McKay. 470-479
• A Model for Distributed Multi-agent Traffic ControlChristine Bel, Wim van Stokkum. 480-489
• Smart Equipment Creating New Electronic Business OpportunitiesRune Gustavsson. 490-499
• Agent Oriented Conceptual Modeling of Parallel Workflow SystemsSamir Aknine, Suzanne Pinson. 500-509
• A Distributed Algorithm as Mobile AgentsDwight Deugo. 510-519
• Why Ontologies Are Not Enough for Knowledge SharingFlávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson. 520-529
• A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR SystemsKhaled Mostafa, Samir I. Shaheen, Ahmed M. Darwish, Ibrahim Farag. 530-539
• Face Recognition Using Principal Component Analysis Applied to an Egyptian Face DatabaseMohammad E. Ragab, Ahmed M. Darwish, Ehsan M. Abed, Samir I. Shaheen. 540-549
• Using Labelled and Unlabelled Data to Train a Multilayer Perceptron for Colour Classification in Graphic ArtsAntanas Verikas, Adas Gelzinis, Kerstin Malmqvist. 550-559
• A Novel 3D-3D Computer Vision Algorithm for Automatic Inspection of Filter ComponentsMarcos A. Rodrigues, Yonghuai Liu. 560-569
• A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region SegmentationEzzeddine Zagrouba, T. Hedidar, A. Jaoua. 570-579
• SAPIA: A Model Based Satellite Image Interpretation SystemFano Ramparany, F. Sandt. 580-589
• Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared ImagesShishir Shah, J. K. Aggarwal. 590-599
• Air-Crew Scheduling through AbductionAntonis C. Kakas, A. Michael. 600-611
• Unfold/Fold Inductive Proof: An Extension of a Folding TechniqueRym Salem, Khaled Bsaïes. 612-621
• On Solving the Capacity Assignment Problem Using Continous Learning AutomataB. John Oommen, T. Dale Roberts. 622-631
• Supervised Parameter Optimization of a Modular Machine Learning SystemManuel Link, Masuhiro Ishitobi. 632-641
• Non-supervised Rectangular Classification of Binary DataHedia Mhiri Sellami, Ali Jaoua. 642-648
• Synthesizing Intelligent Behaviour: A Learning ParadigmMohamed Salah Hamdi, Karl Kaiser. 649-658
• Automatic Input-Output Configuration and Generation of ANN-based Process Models and Their Application in MachiningZsolt János Viharos, Laszlo Monostori. 659-668
• DCL: A Disjunctive Learning Algorithm for Rule ExtractionSaleh M. Abu-Soud, Mehmet R. Tolun. 669-678
• Modeling and Simulating Breakdown Situations in Telecommunicatiion NetworksAomar Osmani. 679-687
• Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked SourcesSeppo Puuronen, Helen Kaikova. 688-697
• Introduction to Reasoning about Cyclic IntervalsAomar Osmani. 698-706
• A Multiple-Platform Decentralized Route Finding SystemHans W. Guesgen, Debasis Mitra. 707-713
• Heuristic Selection of Aggregated Temporal Data for Knowledge DiscoveryHoward J. Hamilton, Dee Jay Randall. 714-723
• Architectural Knowledge Representation Using the Galois Lattice TechniqueD. Chitchian, S. Sariyildiz, Henk Koppelaar. 724-734
• Automated Solving of the DEDS Control ProblemsFrantisek Capkovic. 735-746
• A More Efficient Knowledge Representation for Allen s Algebra and Point AlgebraJörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel. 747-752
• Unified Chromosome Representation for Large Scale ProblemsHoda Baraka, Saad Eid, Hanan Kamal, Ashraf H. Abdel-Wahab. 753-760
• A Novel Framework for Hybrid Intelligent SystemsHesham A. Hefny, Ashraf H. Abdel-Wahab, Ahmed A. Bahnasawi, Samir I. Shaheen. 761-770
• The Design of a Multi-tiered Bus Timetabling SystemAndy Hon Wai Chun, Steve Ho Chuen Chan. 771-779
• Scheduling of a Production Unit via Critical Block Neighbourhood StructuresPatrick van Bael, Marcel Rijckaert. 780-787
• An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERTNorio Tomii, Li Jian Zhou, Naoto Fukumara. 788-797
• Designing an Intelligent Tutoring System in the Domain of Formal LanguagesDusan Popovic, Vladan Devedzic. 798-808
• Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS FrameworksEman El-Sheikh, Jon Sticklen. 809-819
• An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing SystemsChristian Schäfer, Omar López. 820-829
• The Economic Benefits of Internet-Based Business Operations in ManufacturingErgun Gide, Fawzy Soliman. 830-840
• CNC Nanufacturing of Complex Surfaces Based on Solid ModelingAhmed Elkeran, M. A. El-baz. 841-848
• Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line CaseT. El-Fouly, Noureddine Zerhouni, Michel Ferney, Abdellah El Moudni. 849-858
• A Formal Approach to Lingware DevelopmentBilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou. 859-868
• A Formal Knowledge Level Process Model of Requirements EngineeringDaniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards. 869-878
• Pieces of Mind: Component-Based Software Development of Artificial IntelligenceJovan Cakic, Vladan Devedzic. 879-888
• CNC Automatic Programming System for Wire-EDMTawfik T. El-Midany, Ahmed Elkeran, H. T. Radwan. 889-896